Stefaan Decorte, Danny De Schreye. Demand-Driven and Constraint-Based Automatic Left-Termination Analysis for Logic Programs. In ICLP. pages 78-92, 1997.
@inproceedings{DecorteS97,
title = {Demand-Driven and Constraint-Based Automatic Left-Termination Analysis for Logic Programs},
author = {Stefaan Decorte and Danny De Schreye},
year = {1997},
tags = {rule-based, program analysis, analysis, constraints, termination, logic programming, logic},
researchr = {https://researchr.org/publication/DecorteS97},
cites = {0},
citedby = {0},
pages = {78-92},
booktitle = {ICLP},
}