Jean-Paul Bodeveix Mamoun Filali Reduction and Quantifier Elimination Techniques for Program Validation. 69-89 2002 20 Formal Methods in System Design 1 db/journals/fmsd/fmsd20.html#BodeveixF02