Danny De Schreye Maurice Bruynooghe Kristof Verschaetse On the Existence of Nonterminating Queries for a Restricted Class of PROLOG-Clauses. 237-248 1989 41 Artif. Intell. 2 db/journals/ai/ai41.html#SchreyeBV89