@InProceedings{Fontaine4,
  author       = "Pascal Fontaine and E. Pascal Gribomont",
  title        = "Combining non-stably infinite, non-first order
                 theories",
  booktitle    = "Selected Papers from the Workshops on Disproving and the Second International Workshop on Pragmatics of Decision Procedures (PDPAR 2004)",
  editor       = "W. Ahrendt and P. Baumgartner and H. de Nivelle and S. Ranise and C. Tinelli",
  series       = entcs,
  volume       = 125,
  issue        = 3,
  pages        = "37--51",
  year         = "2005",
  month        = jul,
}