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
Conference proceedings
Haifa Verification Conference (HVC)
Publisher
Springer
Meeting place
Haifa, Israel
