System description: Teyjus—a compiler and abstract machine based implementation of Lambda Prolog (1999)

by Gopalan Nadathur, Dustin J Mitchell
Venue:Proceedings of the 16th International Conference on Automated Deduction