Jean-Michel Ilié Souheib Baarir Marco Beccuti C. Delamare Susanna Donatelli Claude Dutheillet Giuliana Franceschinis Rossano Gaeta Patrice Moreaux Extended SWN Solvers in GreatSPN. 324-325 2004 conf/qest/2004 QEST http://csdl.computer.org/comp/proceedings/qest/2004/2185/00/21850324abs.htm db/conf/qest/qest2004.html#IlieBBDDDFGM04