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

by G Nadathur, D J Mitchell
Venue:In Proceedings of the 16th International Conference on Automated Deduction, H. Ganzinger, Ed. Springer-Verlag LNCS