"Partial Regularization of First-Order Resolution Proofs."

Jan Gorzny, Ezequiel Postan, Bruno Woltzenlogel Paleo (2020)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics