@InProceedings{HBF96,
  author =       {Th.~Hillenbrand and A.~Buch and R.~Fettig},
  title =        {On Gaining Efficiency in Completion-based
                  Theorem Proving},
  booktitle =    {Proceedings of the 7th International Conference
                  on Rewriting Techniques and Applications},
  pages =        {432--435},
  year =         1996,
  editor =       {H.~Ganzinger},
  volume =       1103,
  series =       {LNCS},
  publisher =    {Springer-Verlag}
}