EKL - A Mathematically Oriented Proof Checker (1984)

by J Ketonen
Venue:Proceedings of the Seventh Conference on Automated Deduction, (Shostak ed.), Springer Lecture Notes in Computer Science 170