Alexander Steen, Christoph Benzmüller. The Higher-Order Prover Leo-III. In Giuseppe De Giacomo, Alejandro Catalá, Bistra Dilkina, Michela Milano, Senén Barro, Alberto Bugarín, Jérôme Lang, editors, ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020 - Including 10th Conference on Prestigious Applications of Artificial Intelligence (PAIS 2020). Volume 325 of Frontiers in Artificial Intelligence and Applications, pages 2937-2938, IOS Press, 2020. [doi]
@inproceedings{SteenB20,
title = {The Higher-Order Prover Leo-III},
author = {Alexander Steen and Christoph Benzmüller},
year = {2020},
doi = {10.3233/FAIA200462},
url = {https://doi.org/10.3233/FAIA200462},
researchr = {https://researchr.org/publication/SteenB20},
cites = {0},
citedby = {0},
pages = {2937-2938},
booktitle = {ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020 - Including 10th Conference on Prestigious Applications of Artificial Intelligence (PAIS 2020)},
editor = {Giuseppe De Giacomo and Alejandro Catalá and Bistra Dilkina and Michela Milano and Senén Barro and Alberto Bugarín and Jérôme Lang},
volume = {325},
series = {Frontiers in Artificial Intelligence and Applications},
publisher = {IOS Press},
isbn = {978-1-64368-101-6},
}