@InProceedings{BauFT-ESFOR-04,
  author =	 {Peter Baumgartner, Alexander Fuchs and Cesare
                  Tinelli},
  title =	 {Darwin: A Theorem Prover for the Model Evolution
                  Calculus},
  booktitle =	 {Proceedings of the 1st Workshop on Empirically
                  Successful First Order Reasoning (ESFOR'04), Cork,
                  Ireland, 2004},
  year =	 2004,
  editor =	 {G.~Sutcliffe and S.~Schultz and T.~Tammet},
  OPTvolume =	 {},
  OPTnumber =	 {},
  series =	 {Electronic Notes in Theoretical Computer Science},
  publisher =	 {Elsevier},
  url =		 {ftp://ftp.cs.uiowa.edu/pub/tinelli/papers/BauFT-ESFOR-04.pdf}
}