TY  - RPRT
TI  - Resolution Proof Transformation for Compression and Interpolation
AU  - S. F. Rollini
AU  - R. Bruttomesso
AU  - N. Sharygina
AU  - A. Tsitovich
PY  - 2014
DO  - 10.1007/s10703-014-0208-x
UR  - https://arxiv.org/abs/1307.2028
ID  - 1307.2028
ER  -