"Using Definite Clauses and Integrity Constraints as the Basis for a Theory ..."

Randy Goebel, Koichi Furukawa, David Poole (1986)
a service of Schloss Dagstuhl - Leibniz Center for Informatics