Your search returned the following 2 documents:

2. Geo 2006j
   Hans de Nivelle and Jia Meng
   can be obtained from my homepage
   
1. Geometric Resolution: A Proof Procedure Based on Finite Model Search
   Hans de Nivelle and Jia Meng
   In: Automated reasoning : Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, 2006, 303-317