Danny De Schreye, Maurice Bruynooghe, Kristof Verschaetse. On the Existence of Nonterminating Queries for a Restricted Class of PROLOG-Clauses. Artificial Intelligence, 41(2):237-248, 1989.
@article{SchreyeBV89, title = {On the Existence of Nonterminating Queries for a Restricted Class of PROLOG-Clauses}, author = {Danny De Schreye and Maurice Bruynooghe and Kristof Verschaetse}, year = {1989}, tags = {Prolog}, researchr = {https://researchr.org/publication/SchreyeBV89}, cites = {0}, citedby = {0}, journal = {Artificial Intelligence}, volume = {41}, number = {2}, pages = {237-248}, }