R. Blanc, T. Henzinger, T. Hottelier, L. Kovacs:
"ABC: Algebraic Bound Computation for Loops";
in: "Proceedings of the 16th International Conference on Logic for Programming, Arti cial Intelligence and Reasoning (LPAR-16)", Springer LNAI 6355, Springer, 2010, ISBN: 978-3-642-17510-7, 103 - 118.
http://publik.tuwien.ac.at/files/PubDat_192436.pdf