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]
Abstract is missing.