A note on disjunctive form tautologies. - M. Bauer; D. Brand; Michael J. Fischer; Albert R. Meyer; Mike Paterson (SIGACT News, 1973)