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

by F Pfenning, C Schürmann
Venue:Proceedings of the 16th International Conference on Automated Deduction (CADE-16