SAT-Inspired Higher-Order Eliminations

Logical methods in computer science, 2022-08, Vol.19 (2) [Peer Reviewed Journal]

2022. This work is published under http://creativecommons.org/licenses/by/4.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License. ;http://creativecommons.org/licenses/by/4.0 ;Attribution ;EISSN: 2331-8422 ;EISSN: 1860-5974 ;DOI: 10.48550/arxiv.2208.07775

Full text available