@InProceedings{Ahrendt02,
  author =       {Wolfgang Ahrendt},
  title =        "Deductive Search for Errors in Free Data Type
		  Specifications using Model Generation",
  editor =       "Andrei Voronkov",
  series =       "LNCS",
  year =         "2002",
  booktitle =    "Automated Deduction -- CADE-18, 18th International
		  Conference on Automated Deduction, Copenhagen, Denmark",
  publisher =    "Springer",
  volume    =    "2392"
}