Title | Resolution Proof Transformation for Compression and Interpolation |
Publication Type | Journal Article |
Year of Publication | 2013 |
Authors | Rollini, S.F., Bruttomesso R., Sharygina Natasha, and Tsitovich A. |
Journal | CoRR |
Volume | July 2013 |
Full Text |