The LEO-II Project (bibtex)
by Christoph Benzmüller, Lawrence Paulson, Frank Theiss, Arnaud Fietzke
Reference:
The LEO-II Project (Christoph Benzmüller, Lawrence Paulson, Frank Theiss, Arnaud Fietzke), In Proceedings of the Fourteenth Workshop on Automated Reasoning, Bridging the Gap between Theory and Practice, Imperial College, London, England, 2007. (Url (preprint): http://christoph-benzmueller.de/papers/W36.pdf)
Bibtex Entry:
@inproceedings{W36,
  Author =	 {Christoph Benzm{\"u}ller and Lawrence Paulson and
                  Frank Theiss and Arnaud Fietzke},
  Booktitle =	 {Proceedings of the Fourteenth Workshop on Automated
                  Reasoning, Bridging the Gap between Theory and
                  Practice},
  Keywords =	 {own, LEO Prover, Higher Order Logic, Automated
                  Reasoning},
  Note =	 {(Mildly reviewed)},
  Publisher =	 {Imperial College, London, England},
  Title =	 {The {LEO-II} Project},
  Note =	 {Url (preprint):
                  \url{http://christoph-benzmueller.de/papers/W36.pdf}},
  Year =	 2007,
}
Powered by bibtexbrowser