Implementing the meta-theory of deductive systems (1992)

by F Pfenning, E Rohwedder
Venue:In Proceedings of the 1992 Conference on Automated Deduction, number 607 in LNCS