Simone Fulvio Rollini, Roberto Bruttomesso, Natasha Sharygina, Aliaksei Tsitovich. Resolution proof transformation for compression and interpolation. Formal Methods in System Design, 45(1):1-41, 2014. [doi]
@article{RolliniBST14,
title = {Resolution proof transformation for compression and interpolation},
author = {Simone Fulvio Rollini and Roberto Bruttomesso and Natasha Sharygina and Aliaksei Tsitovich},
year = {2014},
doi = {10.1007/s10703-014-0208-x},
url = {http://dx.doi.org/10.1007/s10703-014-0208-x},
researchr = {https://researchr.org/publication/RolliniBST14},
cites = {0},
citedby = {0},
journal = {Formal Methods in System Design},
volume = {45},
number = {1},
pages = {1-41},
}