@InProceedings{W35,
  key    =       {W35},
  author = 	 {Frank Theiss and Christoph Benzm{\"u}ller},
  title = 	 {Term Indexing for the {LEO-II} Prover},
  booktitle = 	 {IWIL-6 workshop at LPAR 2006: The 6th International Workshop on the
Implementation of Logics},
  year =	 2006,
  address =	 {Pnom Penh, Cambodia},
  chrisnote =	 {W35}
}