David Déharbe Pascal Fontaine Silvio Ranise Christophe Ringeissen Decision Procedures for the Formal Analysis of Software. 366-370 2006 conf/ictac/2006 ICTAC http://dx.doi.org/10.1007/11921240_26 db/conf/ictac/ictac2006.html#DeharbeFRR06