Purely Functional Implementation of a Logic’, in (1986)

by F K Hanna, N Daeche
Venue:Proceedings of the 8th International Conference on Automated Deduction, edited by J.H. Siekmann, Lecture Notes in Computer Science