"Proving Failure of Queries for Definite Logic Programs Using XSB-Prolog."

Nikolay Pelov, Maurice Bruynooghe (1999)
a service of Schloss Dagstuhl - Leibniz Center for Informatics