FEMTO-ST - Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174), Inria Nancy - Grand Est, LORIA - FM - Department of Formal Methods
Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran. Producing Conflict Sets for Combination of Theories. Workshop on Pragmatics of Decision Procedures in Automated Reasoning - PDPAR 2006, Aug 2006, Seattle, WA/USA. ⟨inria-00117399⟩