Stål Aanderaa Egon Börger Harry R. Lewis Conservative Reduction Classes of Krom Formulas. 110-130 1982 47 J. Symb. Log. 1 db/journals/jsyml/jsyml47.html#AanderaaBL82