Pascal Fontaine Combinations of Theories and the Bernays-Schönfinkel-Ramsey Class. 2007 VERIFY http://ceur-ws.org/Vol-259/paper06.pdf conf/cade/2007verify db/conf/cade/verify2007.html#Fontaine07