Steen, AlexanderAlexanderSteenBenzmüller, ChristophChristophBenzmüller0000-0002-3392-30932022-09-222022-09-222020978-1-64368-100-91879-8314https://fis.uni-bamberg.de/handle/uniba/55662engThe Higher-Order Prover Leo-IIIconferenceobject10.3233/FAIA200462https://ebooks.iospress.nl/publication/55257