Perlis D.  1987.  Circumscribing with sets. Artificial Intelligence. 31(2):201-211.