Maurice Bruynooghe, Michael Codish, John P. Gallagher, Samir Genaim, Wim Vanhoof. Termination analysis of logic programs through combination of type-based norms. ACM Transactions on Programming Languages and Systems, 29(2):10, 2007. [doi]
@article{BruynoogheCGGV07,
title = {Termination analysis of logic programs through combination of type-based norms},
author = {Maurice Bruynooghe and Michael Codish and John P. Gallagher and Samir Genaim and Wim Vanhoof},
year = {2007},
doi = {10.1145/1216374.1216378},
url = {http://doi.acm.org/10.1145/1216374.1216378},
tags = {rule-based, program analysis, analysis, termination, logic programming, logic},
researchr = {https://researchr.org/publication/BruynoogheCGGV07},
cites = {0},
citedby = {0},
journal = {ACM Transactions on Programming Languages and Systems},
volume = {29},
number = {2},
pages = {10},
}