George Mills Jeff B. Paris Regularity in Models of Arithmetic. 272-280 1984 49 J. Symb. Log. 1 db/journals/jsyml/jsyml49.html#MillsP84