Nachum Dershowitz, Naomi Lindenstrauss, Yehoshua Sagiv, Alexander Serebrenik. Automatic Termination Analysis of Programs Containing Arithmetic Predicates. Theoretical Computer Science, 30(1):39-58, 1999. [doi]
@article{DershowitzLSS99,
title = {Automatic Termination Analysis of Programs Containing Arithmetic Predicates},
author = {Nachum Dershowitz and Naomi Lindenstrauss and Yehoshua Sagiv and Alexander Serebrenik},
year = {1999},
url = {http://www.elsevier.nl/locate/entcs/volume30.html},
tags = {program analysis, analysis, termination},
researchr = {https://researchr.org/publication/DershowitzLSS99},
cites = {0},
citedby = {0},
journal = {Theoretical Computer Science},
volume = {30},
number = {1},
pages = {39-58},
}