LEO-II Version 1.5 (bibtex)
by Christoph Benzmüller, Nik Sultana
Reference:
LEO-II Version 1.5 (Christoph Benzmüller, Nik Sultana), In PxTP 2013 (Jasmin Christian Blanchette, Josef Urban, eds.), EasyChair, EPiC Series in Computing, volume 14, pp. 2-10, 2013.
Bibtex Entry:
@inproceedings{W52,
  Author =	 {Christoph Benzm\"uller and Nik Sultana},
  Booktitle =	 {PxTP 2013},
  Editor =	 {Jasmin Christian Blanchette and Josef Urban},
  Issn =	 {2040-557X},
  Keywords =	 {own, LEO Prover, Automated Reasoning, Proof
                  Transformation, Higher Order Logic},
  Pages =	 {2-10},
  Publisher =	 {EasyChair},
  Series =	 {EPiC Series in Computing},
  Title =	 {{LEO-II} Version 1.5},
  Url =
                  {http://www.easychair.org/publications/?page=1802176591},
  Volume =	 14,
  Year =	 2013,
}
Powered by bibtexbrowser