"Logic Enhancement: A Metho for Extending Logic Programming Languages."

Paul R. Eggert, D. Val Schorre (1982)
a service of Schloss Dagstuhl - Leibniz Center for Informatics