@InProceedings{HL02,
  author =       {Th.~Hillenbrand and B.~L\"{o}chner},
  title =        {The Next \textsc{Wald\-mei\-ster} Loop},
  booktitle =    {Proceedings of the 18th International Conference
                  on Automated Deduction},
  pages =        {486--500},
  year =         2002,
  editor =       {A.~Voronkov},
  series =       {LNAI},
  publisher =    {Springer-Verlag}
}