Oren Etzioni Keith Golden Daniel S. Weld Tractable Closed World Reasoning with Updates. 178-189 1994 conf/kr/1994 KR db/conf/kr/kr94.html#EtzioniGW94