An Early Use of Continuations and Partial Evaluation for Compiling Rules Written in First-Order Predicate Calculus.

Erik Sandewall An Early Use of Continuations and Partial Evaluation for Compiling Rules Written in First-Order Predicate Calculus. 105-113 1999 12 Higher-Order and Symbolic Computation 1 db/journals/lisp/lisp12.html#Sandewall99