Ahmed Bouajjani, Peter Habermehl, Richard Mayr. Automatic Verification of Recursive Procedures with One Integer Parameter. In Jiri Sgall, Ales Pultr, Petr Kolman, editors, Mathematical Foundations of Computer Science 2001, 26th International Symposium, MFCS 2001 Marianske Lazne, Czech Republic, August 27-31, 2001, Proceedings. Volume 2136 of Lecture Notes in Computer Science, pages 198-211, Springer, 2001. [doi]
Abstract is missing.