@misc{indiciaebc550f9e4949,
  title = {LPAR-05 Workshop: Empirically Successfull Automated Reasoning in Higher-Order Logic (ESHOL)},
  author = {Christoph Benzmueller and John Harrison and Carsten Schuermann},
  year = {2006},
  url = {https://arxiv.org/abs/cs/0601042},
  note = {Source identifier: cs/0601042}
}