@InProceedings{TinZar-FTP-03,
  author =	 {Cesare Tinelli and Calogero Zarba},
  title =	 {Combining non-stably infinite theories},
  booktitle =	 {Proceedings of the 4th International Workshop on
                  First Order Theorem Proving, FTP'03 (Valencia,
                  Spain)},
  editor =	 {I.~Dahn and L.~Vigneron},
  year =	 2003,
  series =	 {Electronic Notes in Theoretical Computer Science},
  volume =	 {86.1},
  publisher =	 {Elsevier Science Publishers},
}