Hidden congruent deduction (2000)

by Grigore Ros, u, Joseph Goguen
Venue:In Ricardo Caferra and Gernot Salzer, edi-tors, Automated Deduction in Classical and Non-Classical Logics