Kristof Verschaetse

Bibliography

Schreye, Danny de, Bruynooghe, Maurice and Verschaetse, Kristof. 1989. “On the Existence of Nonterminating Queries for a Restricted Class of PROLOG-Clauses.” Artificial Intelligence 41(2): 237–248.