TY  - RPRT
TI  - Partial Regularization of First-Order Resolution Proofs
AU  - Jan Gorzny
AU  - Ezequiel Postan
AU  - Bruno Woltzenlogel Paleo
PY  - 2018
UR  - https://arxiv.org/abs/1804.06531
ID  - 1804.06531
ER  -