Mauricio Osorio Juan Carlos Nieves Fernando Zacarias Erika Saucedo Knowledge Representation Using High-Level Non-monotonic Reasoning. 13-24 2000 conf/micai/2000 MICAI db/conf/micai/micai2000.html#OsorioNZS00