Implementing the Meta-Theory of Deductive Systems (1992)

by Frank Pfenning , Ekkehard Rohwedder
Venue:Proceedings of the 11th International Conference on Automated Deduction
Citations:32 - 9 self