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]
@inproceedings{GorznyPP20,
title = {Partial Regularization of First-Order Resolution Proofs},
author = {Jan Gorzny and Ezequiel Postan and Bruno Woltzenlogel Paleo},
year = {2020},
url = {http://www.easychair.org/publications/paper/n62J},
researchr = {https://researchr.org/publication/GorznyPP20},
cites = {0},
citedby = {0},
pages = {34-45},
booktitle = {6th Global Conference on Artificial Intelligence, GCAI 2020, Hangzhou, China, April 6-9, 2020},
editor = {Grégoire Danoy and Jun Pang 0001 and Geoff Sutcliffe},
volume = {72},
series = {EPiC Series in Computing},
publisher = {EasyChair},
}