Paul R. Eggert D. Val Schorre Logic Enhancement: A Metho for Extending Logic Programming Languages. 74-80 1982 Symposium on LISP and Functional Programming db/conf/lfp/lfp1982.html#EggertS82