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