![]() |
@inproceedings{DBLP:conf/iclp/SchreyeVB90,
author = {Danny De Schreye and
Kristof Verschaetse and
Maurice Bruynooghe},
title = {A Practical Technique for Detecting Non-terminating Queries
for a Restricted Class of Horn Clauses, Using Directed,
Weighted Graphs},
booktitle = {ICLP},
year = {1990},
pages = {649-663},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Copyright © 2002-01-03 by Michael Ley (ley@uni-trier.de)