Pólos, L., "Default rules and deductive closure.", Journal of Symbolic Logic, 1993