@InProceedings{HTW06,
  author =       {Th.~Hillenbrand and D.~Topic and Chr.~Weidenbach},
  title =        {Sudokus as Logical Puzzles},
  booktitle =    {Proceedings of the Third Workshop on Disproving},
  pages =        {2--12},
  year =         2006,
  editor =       {W.~Ahrendt and P.~Baumgartner and H.~de~Nivelle}
}