Ivan Popchev Neli Zlatareva A Formal Treatment of Non-Monotonic Reasoning. 37-42 1988 AIMSA db/conf/aimsa/aimsa1988.html#PopchevZ88