9 citations · 13 across the 8 of their papers we have counts for
1 paper · 1 filter
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-…