Jan Gorzny, Ezequiel Postan, Bruno Woltzenlogel Paleo. Partial Regularization of First-Order Resolution Proofs. In Grégoire Danoy, Jun Pang 0001, Geoff Sutcliffe, editors, 6th Global Conference on Artificial Intelligence, GCAI 2020, Hangzhou, China, April 6-9, 2020. Volume 72 of EPiC Series in Computing, pages 34-45, EasyChair, 2020. [doi]
Abstract is missing.