The top documents tagged [boolean valued models]