"Linear Invariant Generation Using Non-linear Constraint Solving."

Michael Colón, Sriram Sankaranarayanan, Henny Sipma (2003)
a service of Schloss Dagstuhl - Leibniz Center for Informatics