conf/vldb/90 Antonis C. Kakas Paolo Mancarella 650-661 1990 VLDB db/conf/vldb/vldb90.html#KakasM90 db/conf/vldb/KakasM90.html VLDB90/P650.PDF conf/icdt/Abiteboul88 conf/iclp/AptB90 journals/tods/BancilhonS81 conf/iclp/Bry90 journals/jacm/CosmadakisP84 journals/tods/DayalB82 conf/icdt/Decker90 conf/iclp/EshghiK89 conf/pods/FaginUV83 ... conf/iclp/GelfondL88 journals/tods/GottlobPZ88 journals/ngc/GuessoumL90 ... ... ... ... ... ... journals/jlp/Kunen87 books/sp/Lloyd87 ... journals/ai/Moore85 conf/ifip/NicolasY83 journals/ai/Poole88 ... ... conf/iclp/RossiN89 books/mk/minker88/SadriK88 ... conf/icdt/Tomasic88 journals/tcs/Topor87