Alexander Serebrenik, Danny De Schreye. Inference of termination conditions for numerical loops in Prolog. TPLP, 4(5-6):719-751, 2004.
@article{SerebrenikS04, title = {Inference of termination conditions for numerical loops in Prolog}, author = {Alexander Serebrenik and Danny De Schreye}, year = {2004}, tags = {Prolog, termination}, researchr = {https://researchr.org/publication/SerebrenikS04}, cites = {0}, citedby = {0}, journal = {TPLP}, volume = {4}, number = {5-6}, pages = {719-751}, }