Elf: A meta-language for deductive systems (1994)

by Frank Pfenning
Venue:Proceedings of the 12th International Conference on Automated Deduction