On the existence of nonterminating queries for a restricted class of PROLOG-clauses
scientific article; zbMATH DE number 4130065