Nachum Dershowitz, Naomi Lindenstrauss, Yehoshua Sagiv, Alexander Serebrenik. A General Framework for Automatic Termination Analysis of Logic Programs. Appl. Algebra Eng. Commun. Comput., 12(1/2):117-156, 2001. [doi]
@article{DershowitzLSS01,
title = {A General Framework for Automatic Termination Analysis of Logic Programs},
author = {Nachum Dershowitz and Naomi Lindenstrauss and Yehoshua Sagiv and Alexander Serebrenik},
year = {2001},
url = {http://link.springer.de/link/service/journals/00200/bibs/1012001/10120117.htm},
tags = {program analysis, analysis, termination, logic programming, logic},
researchr = {https://researchr.org/publication/DershowitzLSS01},
cites = {0},
citedby = {0},
journal = {Appl. Algebra Eng. Commun. Comput.},
volume = {12},
number = {1/2},
pages = {117-156},
}