Combinations of Theories and the Bernays-Schönfinkel-Ramsey Class (2007)

by P Fontaine
Venue:In VERIFY, volume 259 of CEUR Workshop Proceedings. CEUR-WS.org