Xian-Chang Wang Huo-Wang Chen A Non-monotonic Reasoning System--WMJ. 104-108 1990 conf/icsi/1990 ICSI db/conf/icsi/icsi1990.html#WangC90