"Combining Decision Procedures by (Model-)Equality Propagation."

Diego Caminha Barbosa De Oliveira, David Déharbe, Pascal Fontaine (2009)
a service of Schloss Dagstuhl - Leibniz Center for Informatics