D.: Automatic generation of polynomial loop invariants: algebraic foundations (2004)

by E Rodriguez-Carbonell, Kapur
Venue:In: Proc. Intl. Symp on Symbolic and Algebraic Computation (ISSAC’04