Your search returned the following 4 documents:

4. Sudokus as Logical Puzzles
   Thomas Hillenbrand, Dalibor Topic, and Christoph Weidenbach
   In: Proceedings of the Third Workshop on Disproving, Seattle, USA, 2006, 2-12
   
3. System Description: SPASS Version 1.0.0
   Christoph Weidenbach, Bijan Afshordel, Uwe Brahm, Christian Cohrs, Thorsten Engel, Enno Keen, Christian Theobalt, and Dalibor Topić
   In: Proceedings of the 16th International Conference on Automated Deduction (CADE-16), Trento, Italy, 1999, 314-318
   
2. Is Logic Effective for Analyzing C Programs?
   Thomas Hillenbrand, Andreas Podelski, and Dalibor Topić
   In: Symposium on the Effectiveness of Logic in Computer Science in Honour of Moshe Vardi, Saarbrücken, 2002, 27-30
   [PS: Download: analysis.ps]
   
1. SPASS Version 2.0
   Christoph Weidenbach, Uwe Brahm, Thomas Hillenbrand, Enno Keen, Christian Theobalt, and Dalibor Topić
   In: Automated deduction, CADE-18 : 18th International Conference on Automated Deduction, Kopenhagen, Denmark, 2002, 275-279
   [PS: Download: spass2002.ps]