@INPROCEEDINGS{StS-MPB:IWIL2005:obj,
AUTHOR = {Stephan Schulz and Maria Paola Bonacina},
TITLE = "On handling distinct objects in the superposition calculus",
BOOKTITLE = "Notes of the Fifth International Workshop on Implementation
of Logics (IWIL),
Eleventh International Conference on Logic for Programming,
Artificial Intelligence, and Reasoning (LPAR)",
PAGES = "66--77"
MONTH = "March",
YEAR = 2005}