Implementing the meta-theory of inductive systems (1992)

by Frank Pfenning, Ekkehard Rohwedder
Venue:Proceedings of the Eleventh Annual Conference on Automated Deduction