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

by F Pfenning
Venue:Proc. of the 12th International Conference on Automated Deduction, CADE’94, volume 814 of LNAI