Kotagiri Ramamohanarao James Harland An Introduction to Deductive Database Languages and Systems VLDB J. 3 2 1994 107-122 VLDBJ3/P107.pdf db/journals/vldb/vldb3.html#RamamohanaraoH94 db/journals/vldb/RamamohanaraoH94.html journals/tods/AbiteboulG91 books/mk/minker88/AptBW88 conf/slp/KempRBM89 journals/jlp/BalbinPRM91 conf/pods/BancilhonMSU86 books/mk/minker88/BancilhonR88 conf/pods/BeeriR87 conf/lpar/BoccaDF92 journals/jlp/ChandraH85 conf/sigmod/ConsensM93 conf/adbt/Clark77 conf/slp/Dietrich87 conf/fodo/Freeston89 conf/dasfaa/FreitagSS91 conf/vldb/GardarinCKPS89 conf/iclp/GelfondL88 journals/tkde/HaasCLMWLLPCS90 conf/future/HarlandR92 conf/iclp/HarlandR93 ... books/mk/freytagMV91/JeusfeldS91 conf/vldb/KempRS90 conf/iclp/KempSS92 conf/iclp/KempS93 conf/dood/LefebvreV89 books/sp/Lloyd87 conf/icde/MaindrevilleS88 journals/tods/MoerkotteL91 conf/sigmod/MumickP94 books/cs/NaqviT89 books/mk/minker88/Przymusinski88 journals/jlp/RamakrishnanU95 journals/debu/RamamohanaraoSBPNTZD87 conf/pods/Ross90 conf/icdt/SaccaZ86 conf/sigmod/SaccaZ87 conf/slp/Sagiv90 conf/iclp/TamakiS86 ... journals/jacm/GelderRS91 conf/eds/Vieille86 conf/iclp/Vieille87 conf/eds/Vieille88 journals/tcs/Vieille89 ... ... journals/cacm/Warren92 conf/dood/ZanioloAO93 ...