1 citations · 1 across the 1 of their papers we have counts for
1 paper
Noriko Arai
In this paper, the relative efficiency of two propositional systems is studied: resolution and cut-free LK in DAG. We give an upper bound for translation of resolution refutation t…