conf/pods/94 Peter J. Stuckey S. Sudarshan 0001 56-67 1994 PODS db/conf/pods/pods94.html#StuckeyS94 http://doi.acm.org/10.1145/182591.182598 journals/anthology/cd1-3:PODS94/P056.PDF journals/anthology/dvd1:text/1-3/PODS94/P056.PDF conf/pods/BancilhonMSU86 conf/sigmod/BancilhonR86 journals/jlp/BalbinR87 conf/pods/BeeriR87 conf/iclp/CodishDY91 conf/popl/CousotC77 conf/popl/JaffarL87 conf/pods/KanellakisKR90 books/sp/KimRB85 conf/slp/KempRBM89 conf/iclp/KempS93 conf/pods/LevyS92 conf/sigmod/MumickFPR90 conf/pods/MumickFPR90 conf/sigmod/MumickP94 conf/iclp/Ramakrishnan88 conf/slp/RamakrishnanS91 ... journals/jlp/SrivastavaR93 conf/slp/SudarshanR93 books/cs/Ullman88 books/cs/Ullman89