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

by Gopalan Nadathur, Dustin J Mitchell
Venue:In Harald Ganzinger, editor, Automated Deduction–CADE-16, number 1632 in Lecture