@inproceedings{TheBe06,
  author =      "Frank Thei{\ss} and Christoph Benzm{\"u}ller",
  title  =      "Term Indexing for the LEO-II Prover",
  booktitle =   {Proceedings of IWIL},
  year =        {2006}
}