@InProceedings{Fontaine10,
  author =       "Pascal Fontaine",
  title =        "Combinations of Theories and the
                 {Bernays-Sch\"onfinkel-Ramsey} Class",
  booktitle =    "{4th International Verification Workshop - VERIFY'07,
                 Bremen, 15/07/07-16/07/07}",
  editor =       "Bernhard Beckert",
  year =         "2007",
  month =        jul,
}