Efficient Arbitrary and Resolution Proofs of Unsatisfiability for Restricted Tree-Width
scientific article