Evaluation of Systems for Higher-order Logic (ESHOL) (bibtex)
by Christoph Benzmüller, Florian Rabe, Carsten Schürmann, Geoff Sutcliffe
Reference:
Evaluation of Systems for Higher-order Logic (ESHOL) (Christoph Benzmüller, Florian Rabe, Carsten Schürmann, Geoff Sutcliffe), In Proceedings of the First International Workshop on Practical Aspects of Automated Reasoning, Sydney, Australia, August 10-11, 2008 (Boris Konev, Renate A. Schmidt, Stephan Schulz, eds.), CEUR-WS.org, CEUR Workshop Proceedings, volume 373, 2008. (Url (preprint): http://christoph-benzmueller.de/papers/W39.pdf)
Bibtex Entry:
@inproceedings{W39,
  Author =	 {Christoph Benzm{\"u}ller and Florian Rabe and
                  Carsten Sch{\"u}rmann and Geoff Sutcliffe},
  Booktitle =	 {Proceedings of the First International Workshop on
                  Practical Aspects of Automated Reasoning, Sydney,
                  Australia, August 10-11, 2008},
  Editor =	 {Boris Konev and Renate A. Schmidt and Stephan
                  Schulz},
  Note =	 {(Invited non-reviewed paper)},
  Publisher =	 {CEUR-WS.org},
  Series =	 {CEUR Workshop Proceedings},
  Title =	 {Evaluation of Systems for Higher-order Logic
                  {(ESHOL)}},
  Note =	 {Url (preprint):
                  \url{http://christoph-benzmueller.de/papers/W39.pdf}},
  Volume =	 373,
  Year =	 2008,
}
Powered by bibtexbrowser