Danny De Schreye, Kristof Verschaetse, Maurice Bruynooghe. A Practical Technique for Detecting Non-terminating Queries for a Restricted Class of Horn Clauses, Using Directed, Weighted Graphs. In ICLP. pages 649-663, 1990.
@inproceedings{SchreyeVB90,
title = {A Practical Technique for Detecting Non-terminating Queries for a Restricted Class of Horn Clauses, Using Directed, Weighted Graphs},
author = {Danny De Schreye and Kristof Verschaetse and Maurice Bruynooghe},
year = {1990},
tags = {graph query, graph-rewriting, rewriting},
researchr = {https://researchr.org/publication/SchreyeVB90},
cites = {0},
citedby = {0},
pages = {649-663},
booktitle = {ICLP},
}