The top documents tagged [p logical equivalence]