A Transformational Approach for Generating Non-linear Invariants.

Saddek Bensalem Marius Bozga Jean-Claude Fernandez Lucian Ghirvu Yassine Lakhnech A Transformational Approach for Generating Non-linear Invariants. 58-74 2000 conf/sas/2000 SAS db/conf/sas/sas2000.html#BensalemBFGL00