Conservative Reduction Classes of Krom Formulas

Stål Aanderaa, Egon Börger, Harry R. Lewis. Conservative Reduction Classes of Krom Formulas. Journal of Symbolic Logic, 47(1):110-130, 1982.

Authors

Stål Aanderaa

This author has not been identified. Look up 'Stål Aanderaa' in Google

Egon Börger

This author has not been identified. It may be one of the following persons: Look up 'Egon Börger' in Google

Harry R. Lewis

This author has not been identified. Look up 'Harry R. Lewis' in Google