A Practical Technique for Detecting Non-terminating Queries for a Restricted Class of Horn Clauses, Using Directed, Weighted Graphs.

Danny De Schreye, Kristof Verschaetse, Maurice Bruynooghe

Browse the full ICLP paper archive.