@Proceedings{E8,
  key =  {E08},
  title = 	 {Proceedings of the LPAR-05 Workshop: Empirically Successfull Automated Reasoning in Higher-Order Logic (ESHOL)},
  booktitle = 	 {Proceedings of the LPAR-05 Workshop: Empirically Successfull Automated Reasoning in Higher-Order Logic (ESHOL)},
  publisher =	 {Avalaible from http://arxiv.org/abs/cs/0601042},
  year =	 2005,
  address =	 {Wexford Hotel, Montego Bay, Jamaica},
  editor =	 {Christoph Benzm{\"u}ller and John Harrison and Carsten Sch{\"u}rmann},
}