Pólos, L. (1993). Default rules and deductive closure. Journal of Symbolic Logic, 58, 1143-1144