title = {Inference of termination conditions for numerical loops in Prolog},
author = {Alexander Serebrenik and Danny De Schreye}, journal = {CoRR}, note = {informal publication}, url = {http://dblp.uni-trier.de/db/journals/corr/corr0110.html#cs-PL-0110034}, volume = {cs.PL/0110034}, year = {2001}, description = {dblp}, ee = {http://arxiv.org/abs/cs.PL/0110034}, date = {2008-01-02},
keywords = {dblp }
::