Extensional Higher-Order Paramodulation in Leo-III





Author(s): Steen, Alexander; Benzmüller, Christoph  
Title of the Journal: Journal of Automated Reasoning
ISSN: 1573-0670, 0168-7433
Publisher Information: Dordrecht : Springer
Year of publication: 2021
Issue: 65
Pages: 775-807
Language(s): English
DOI: 10.1007/s10817-021-09588-x
URL: https://link.springer.com/article/10.1007/s1081...
Peer Reviewed: Ja
International Distribution: Ja
Type: Article
URI: https://fis.uni-bamberg.de/handle/uniba/55578
Release Date: 16. September 2022