Title: A decidable sequent calculus theorem prover using controlled contraction
Subjects: Predicate calculus, Decidability (Mathematical logic), Proof theory, Automatic theorem proving