@InProceedings{deN10, Author = "de Nivelle, H.", Year = "2010", Title = "{Classical Logic with Partial Functions}", Editor = "Giesl, J. and Haehnle, R.", BookTitle = "{Proceedings of the 5th International Joint Conference on Automated Reasoning}", Place = "Edinburgh, United Kingdom", Series = "Lecture Notes in Artificial Intelligence", Number = "6173", Pages = "203-217", Comment = "TPTPRef" }