An early use of continuations and partial evaluation for compiling rules written in first-order predicate calculus
scientific article; zbMATH DE number 1341346