@InProceedings{SB:IWIL-2005,
  author =       {Stephan Schulz and Maria Paola Bonacina},
  title =        {{On Handling  Distinct Objects in the Superposition
                  Calculus}},
  booktitle =    {Proc.\ of the 5th International Workshop on the
                  Implementation of Logics, Montevideo, Uruguay},
  pages =        {66-77},
  year =         {2005},
  editor =       {B. Konev and S. Schulz},
}