A.: "Meta-theory of sequent calculus and natural deduction systems in Coq (1996)

by A Adams