Extensional Higher-Order Paramodulation in Leo-III




Author(s): Steen, Alexander; Benzmüller, Christoph  
Publisher Information: arXiv
Year of publication: 2019
Pages: 1-34
Language(s): English
DOI: 10.48550/ARXIV.1907.11501
URL: https://arxiv.org/abs/1907.11501
Type: Preprint
URI: https://fis.uni-bamberg.de/handle/uniba/55653
Release Date: 22. September 2022