@InProceedings{BauFdNT-DISPROVING-06,
  author =	 {Peter Baumgartner and Alexander Fuchs and and Hans
                  de~Nivelle and Cesare Tinelli},
  title =	 {Computing Finite Models by Reduction to Function-Free
                  Clause Logic},
  booktitle =	 {Third Workshop on Disproving -- Non-Theorems,
                  Non-Validity, Non-Provability (DISPROVING'06),
                  Seattle Washington},
  year =	 2006,
  editor =	 {W.~Ahrendt and P.~Baumgartner and H.~de Nivelle},
  url =
                  {ftp://ftp.cs.uiowa.edu/pub/tinelli/papers/BauFdNT-DISPROVING-06.pdf},
}