1985._Pudlák:_Cuts,_consistency_statements_and_interpretations