Perlis D.  1987.  Circumscription as introspection. Proceedings of the Second International Symposium on Methodologies for intelligent systems. :440-444.