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]
No references recorded for this publication.
No citations of this publication recorded.