Your search returned the following 5 documents:

5. Computing Finite Models by Reduction to Function-Free Clause Logic
   Hans de Nivelle, Peter Baumgartner, Alexander Fuchs, and Cesare Tinelli
   In: IJCAR'06 Workshop : Disproving'06: Non-Theorems, Non-Validity, Non-Provability, Seattle, USA, 2006, 82-95
   
4. IJCAR'06 Workshop : Disproving'06: Non-Theorems, Non-Validity, Non-Provability
   Wolfgang Ahrendt, Peter Baumgartner, and Hans de Nivelle(Ed.)
   , The 2006 Federated Logic Conference, Seattle, 2006
   
3. Sudokus as Logical Puzzles
   Thomas Hillenbrand, Dalibor Topic, and Christoph Weidenbach
   In: Proceedings of the Third Workshop on Disproving, Seattle, USA, 2006, 2-12
   
2. Proceedings of the 2nd International Workshop on the Implementation of Logics
   Hans de Nivelle and Stephan Schulz(Ed.)
   Research Report. , Max-Planck-Institut für Informatik, Saarbrücken, 2001
   
1. The Next WALDMEISTER Loop (Extended Abstract)
   Thomas Hillenbrand and Bernd Löchner
   In: Proceedings of the Second International Workshop on the Implementation of Logics, IWIL 2001, Havana, Cuba, December 8th, 2001, 13-21
   [PS: Download: next-wm-loop.ps]