@InProceedings{dNM06, Author = "de Nivelle, H. and Meng, J.", Year = "2006", Title = "{Geometric Resolution: A Proof Procedure Based on Finite Model Search}", Editor = "Furbach, U. and Shankar, N.", BookTitle = "{Proceedings of the 3rd International Joint Conference on Automated Reasoning}", Place = "Seattle, USA", Series = "Lecture Notes in Artificial Intelligence", Number = "4130", Pages = "303-317", Publisher = "Springer-Verlag", Comment = "" }