Implementing the meta-theory of deductive systems (1991)

by F Pfenning, E Rohwedder
Venue:In Proceedings of the CADE-11 Conference