Weidong Chen Query Evaluation in Deductive Databases with Alternating Fixpoint Semantics 239-287 1995 20 ACM Trans. Database Syst. 3 db/journals/tods/tods20.html#Chen95a TODS20/P239.PDF http://doi.acm.org/10.1145/211414.211416 conf/sigmod/AikenWH92 journals/jacm/AptE82 conf/pods/ChenW93 ... journals/jacm/ChenW96 journals/jlp/ChenSW95 conf/iclp/GelfondL88 books/sp/Lloyd87 journals/jlp/LloydT84 journals/jlp/LloydT85 journals/jlp/LloydT86 ... ... books/mk/minker88/Przymusinski88 conf/iclp/RamakrishnanSS92 conf/slp/RameshC94 conf/sigmod/SagonasSW94 conf/fsttcs/StuckeyS93 journals/jcss/Gelder93 journals/jacm/GelderRS91 journals/tods/GelderT91 conf/stoc/Vardi82