@InProceedings{Tin-FTP-000,
  author =	 {Cesare Tinelli},
  title =	 {Cooperation of Background Reasoners in Theory
                  Reasoning by Residue Sharing},
  booktitle =	 {International Workshop on First Order Theorem
                  Proving, FTP'2000, St Andrews (Scotland)},
  month =	 jul,
  year =	 2000,
  url =		 {http://www.cs.uiowa.edu/\~{}tinelli/papers.html},
}