Elf: A Meta-Language for Deductive Systems (System Description) (1994)

by Frank Pfenning
Venue:In 12th International Conference on Automated Deduction
Citations:7 - 0 self