System description: Twelf — A metalogical framework for deductive systems (1999)

by Frank Pfenning, Carsten Schürmann
Venue:In Proceedings of the 16th International Conference on Automated Deduction