9 citations · 13 across the 8 of their papers we have counts for
1 paper · 2 filters
Albert Atserias, Massimo Lauria
Proofs in propositional logic are typically presented as trees of derived formulas or, alternatively, as directed acyclic graphs of derived formulas. This distinction between tree-…