Christoph Benzmüller, Nik Sultana. LEO-II Version 1.5. In Jasmin Christian Blanchette, Josef Urban, editors, Third International Workshop on Proof Exchange for Theorem Proving, PxTP 2013, Lake Placid, NY, USA, June 9-10, 2013. Volume 14 of EPiC Series, pages 2-10, EasyChair, 2013. [doi]
@inproceedings{BenzmullerS13,
title = {LEO-II Version 1.5},
author = {Christoph Benzmüller and Nik Sultana},
year = {2013},
url = {http://www.easychair.org/publications/?page=1802176591},
researchr = {https://researchr.org/publication/BenzmullerS13},
cites = {0},
citedby = {0},
pages = {2-10},
booktitle = {Third International Workshop on Proof Exchange for Theorem Proving, PxTP 2013, Lake Placid, NY, USA, June 9-10, 2013},
editor = {Jasmin Christian Blanchette and Josef Urban},
volume = {14},
series = {EPiC Series},
publisher = {EasyChair},
}