conf/pods/95 Kenneth A. Ross 184-195 1995 PODS db/conf/pods/pods95.html#Ross95 http://doi.acm.org/10.1145/212433.220211 db/conf/pods/Ross95.html journals/anthology/cd1-3:PODS95/P184.PDF journals/anthology/dvd1:text/1-3/PODS95/P184.PDF conf/iclp/AptB90 journals/tcs/BidoitF91 conf/pods/BrodskyS89 conf/popl/CousotC77 ... conf/iclp/GelfondL88 conf/popl/JaffarL87 journals/jlp/JaffarM94 ... ... conf/pods/Przymusinski89 conf/pods/PapadimitriouY92 ... journals/jacm/Ross94 conf/slp/Ross94 books/cs/Ullman88 books/cs/Ullman89 journals/jacm/GelderRS91