TPTP Reference: dNM06


@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      = ""
}