The top documents tagged [type formal equivalence]