The UT natural deduction prover (1983)

by W W Bledsoe