APPLICATIONS OF CIRCUMSCRIPTION TO FORMALIZING COMMON SENSE ( 1-Dec-2003)

AITopics Original Links 

In particular this paper properly treats variables that are not minimized.