Christoph Wernhard. Generating Compressed Combinatory Proof Structures: An Approach to Automated First-Order Theorem Proving. In Boris Konev, Claudia Schon, Alexander Steen, editors, Proceedings of the Workshop on Practical Aspects of Automated Reasoning Co-located with the 11th International Joint Conference on Automated Reasoning (FLoC/IJCAR 2022), Haifa, Israel, August, 11 - 12, 2022. Volume 3201 of CEUR Workshop Proceedings, CEUR-WS.org, 2022. [doi]
Abstract is missing.