A Note on LEO-II and the Basic Fragment of Simple Type Theory (bibtex)
by Christoph Benzmüller
Reference:
A Note on LEO-II and the Basic Fragment of Simple Type Theory (Christoph Benzmüller), Technical report, AAR Newsletter No. 84, 2009.
Bibtex Entry:
@techreport{R48,
  Author =	 {Benzm{\"u}ller, Christoph},
  Keywords =	 {own, LEO Prover, Higher Order Logic, Automated Reasoning},
  Month =	 {July},
  Institution =	 {AAR Newsletter No. 84},
  Title =	 {A Note on {LEO-II} and the Basic Fragment of Simple
                  Type Theory},
  Url =		 {http://www.AARInc.org/Newsletters/084-2009-07.html},
  Year =	 2009,
}
Powered by bibtexbrowser