@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 5th International Workshop on Implementation of Logics (IWIL)", PAGES = "66--77" MONTH = "March", YEAR = 2005}