The ut prover (1983)

by W W Bledsoe