Padric Daugherty

• A decidable sequent calculus theorem prover using controlled contraction