@InProceedings{LetzStenz2001d,
  author =       {Reinhold Letz and Gernot Stenz},
  title =        {{I}ntegration of {E}quality {R}easoning into the {D}isconnection {C}alculus},
  booktitle =    {Proceedings of the 2nd International Workshop on the Implementation of Logics},
  pages =        {22--32},
  year =         2001,  
  editor =       {Hans {de Nivelle} and Stephan Schulz},
  series =       {MPI Research Report MPI-I-2001-2-006},
  address =      {Saarbr{\"u}cken},
  month =        nov,
  publisher =    {Max-Planck-Institut f{\"u}r Informatik},
}