An Efficient and Flexible Approach to Resolution Proof Reduction
Additional information
Authors
Rollini S. F.,
Bruttomesso R.,
Sharygina N.
Type
Article in conference proceedings
Year
2010
Language
English
Publisher
Springer
Conference proceedings
Haifa Verification Conference (HVC)
Meeting place
Haifa, Israel
