Hidden Congruent Deduction (1998)

by Grigore Rosu , Joseph Goguen
Venue:Automated Deduction in Classical and Non-Classical Logics
Citations:27 - 18 self