Hidden congruent deduction (0)

by G Rosu, J Goguen
Venue:Proc. Workshop on First-Order Theorem Proving, 213-223, Technische Universitt