SchreyeVB90'

BibTeX

@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}
}