Zhaogang Qian Keki B. Irani Circumscribing Defaults. 438-445 1991 IJCAI db/conf/ijcai/ijcai91.html#QianI91