1946 H. H. Aiken in (1985) 157 Hence, machine time would be saved in that only the necessary number of iterations would be performed.
1973 7 198 The operation that consumes most machine time is the verification of Rule II, where we test that each sentence is contained in the union of at most three others.