@InProceedings{W31,
  key    =       {W31},
  author = 	 {Christoph Benzm{\"u}ller},
  title = 	 {System Description: {LEO} -- A Resolution based Higher-Order Theorem Prover},
  booktitle = 	 {Proceedings of the LPAR-05 Workshop: Empirically Successfull Automated Reasoning in Higher-Order Logic (ESHOL)},
  year =	 2005,
  pages =        {25-44},
  address =	 {Wexford Hotel, Montego Bay, Jamaica},
  publisher =         {Avalaible from http://arxiv.org/abs/cs/0601042},
  chrisnote =	 {W31},
}