Nicola Leone Pasquale Rullo Antonella Mecchia Giuseppe Rossi A Deductive Environment for Dealing with Objects and Nonmonotonic Reasoning. 539-558 1997 9 IEEE Trans. Knowl. Data Eng. 4 db/journals/tkde/tkde9.html#LeoneRMR97 db/journals/tkde/LeoneRMR97.html books/mk/minker88/AptBW88 conf/caise/AhlsenDJLLRRSTBCSVVV91 conf/sigmod/AbiteboulK89 journals/jlp/Ait-KaciN86 journals/jlp/BalbinR87 conf/pods/Bancilhon88 conf/pods/BancilhonMSU86 conf/pods/BeeriR87 journals/jlp/BalbinPRM91 conf/dexa/BuccafurriLPR95 journals/jlp/BuccafurriLR96 conf/sigmod/CacaceCCTZ90 conf/kr/CadoliEG94 journals/tkde/ChimentiGKNTZ90 conf/pods/ChenW89 conf/iclp/GelfondL90 journals/tkde/GrecoLR92 conf/vldb/KrishnamurthyBZ86 conf/sigmod/KiferL89 conf/iclp/KowalskiS90 ... journals/ngc/LeoneR93 ... conf/sigmod/LecluseRV88 conf/sigmod/LaenensSV90 journals/logcom/LaenensV90 journals/logcom/LaenensV92 ... conf/sigmod/PhippsDR91 books/mk/minker88/Przymusinski88 journals/ai/Reiter80 conf/pods/Ross90 conf/vldb/RamakrishnanSS92 conf/icdt/SaccaZ86 journals/tods/Subrahmanian94 ... books/cs/Ullman88 conf/pods/GelderRS88 conf/stoc/Vardi82 conf/oopsla/Wegner87