16 citations · 16 across the 1 of their papers we have counts for
1 paper
Chuck Liang, Dale Miller
A focused proof system provides a normal form to cut-free proofs that structures the application of invertible and non-invertible inference rules. The focused proof system of Andre…