@article{
year={2015},
issn={0168-7433},
journal={Journal of Automated Reasoning},
doi={10.1007/s10817-015-9348-y},
title={The Higher-Order Prover Leo-II},
url={http://dx.doi.org/10.1007/s10817-015-9348-y},
publisher={Springer Netherlands},
keywords={Automated theorem proving; Higher-order logic; Proof assistant},
author={Benzmüller, Christoph and Sultana, Nik and Paulson, LawrenceC. and Theiß, Frank},
pages={1-16},
language={English}
}