by Nik Sultana, Christoph Benzmüller
Reference:
Understanding LEO-II's Proofs (Nik Sultana, Christoph Benzmüller), In IWIL 2012 (Konstantin Korovin, Stephan Schulz, Eugenia Ternovska, eds.), EasyChair, EPiC Series in Computing, volume 22, pp. 33-52, 2013.
Bibtex Entry:
@inproceedings{W47,
Address = {Merida, Venezuela},
Author = {Nik Sultana and Christoph Benzm{\"u}ller},
Booktitle = {IWIL 2012},
Editor = {Konstantin Korovin and Stephan Schulz and Eugenia
Ternovska},
issn = {2398-7340},
Keywords = {own, LEO Prover, Higher Order Logic, Automated
Reasoning, Henkin Semantics, System Integration},
Pages = {33-52},
Publisher = {EasyChair},
Series = {EPiC Series in Computing},
Title = {Understanding {LEO-II's} Proofs},
Url =
{http://www.easychair.org/publications/?page=572811915},
Volume = 22,
Year = 2013,
Doi = {10.29007/x9c9},
}