@InProceedings{W39,
  key =		 {W39},
  author =	 {Christoph Benzm{\"u}ller and Florian Rabe and
                  Carsten Sch{\"u}rmann and Geoff Sutcliffe},
  editor =	 {Boris Konev and Renate A. Schmidt and Stephan
                  Schulz},
 title     = {Evaluation of Systems for Higher-order Logic (ESHOL)},
  booktitle =	 {Proceedings of the First International Workshop on
                  Practical Aspects of Automated Reasoning, Sydney,
                  Australia, August 10-11, 2008},
  publisher =	 {CEUR-WS.org},
  series =	 {CEUR Workshop Proceedings},
  volume =	 373,
  year =	 2008,
  note =	 {(invited non-reviewed paper)}
}