Proving theorems with the modi method (1975)

by D Brand
Venue:SIAM Journal of Computing