Computing polynomial program invariants

Markus Müller-Olm, Helmut Seidl. Computing polynomial program invariants. Inf. Process. Lett., 91(5):233-244, 2004. [doi]

Abstract

Abstract is missing.