Stefaan Decorte, Danny De Schreye
Demand-Driven and Constraint-Based Automatic Left-Termination Analysis for Logic Programs
ICLP, 1997.
@inproceedings{ICLP-1997-DecorteS, author = "Stefaan Decorte and Danny De Schreye", booktitle = "{Proceedings of the 14th International Conference on Logic Programming}", isbn = "0-262-64035-X", pages = "78--92", publisher = "{MIT Press}", title = "{Demand-Driven and Constraint-Based Automatic Left-Termination Analysis for Logic Programs}", year = 1997, }