Hidden congruent deduction. To appear (1998)

by Grigore Rosu, Joseph Goguen
Venue:in Proceedings, International Workshop on First Order Theorem Proving