"A Broader Interpretation of Logic in Logic Programming."

Alan Bundy (1988)
a service of Schloss Dagstuhl - Leibniz Center for Informatics