"","Computing circumscription for preference-based reasoning by logic programming",,,,,,,1998,Dec.