Proving theorems with the modification method (1975)

by D Brand
Venue:SIAM J. Comput