Resolution proof transformation for compression and interpolation
Additional information
Authors
Sharygina N.,
Rollini S. F.,
Bruttomesso R.,
Tsitovich A.
Type
Journal Article
Year
2014
Language
English
Journal
Formal Methods in System Design
Pages (or article number)
1-41
