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

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