conf/pods/91 Gerd G. Hillebrand Paris C. Kanellakis Harry G. Mairson Moshe Y. Vardi Tools for Datalog Boundedness. 1-12 1991 PODS db/conf/pods/pods91.html#HillebrandKMV91 http://doi.acm.org/10.1145/113413.113414 db/conf/pods/HillebrandKMV91.html journals/anthology/cd1-3:PODS91/P001.PDF journals/anthology/dvd1:text/1-3/PODS91/P001.PDF journals/ipl/Abiteboul89 conf/focs/AjtaiG89 journals/jlp/ChandraH85 conf/stoc/CosmadakisGKV88 conf/pods/CosmadakisK86 journals/jacm/GaifmanMSV93 conf/icdt/Guessarian90 ... journals/algorithmica/Ioannidis86 ... ... conf/stoc/KfouryTU90 journals/tods/MaierUV84 ... journals/jcss/Naughton89 journals/jacm/Naughton89 conf/pods/NaughtonS87 journals/jacm/Parikh66 journals/siamcomp/Sagiv88 ... conf/pods/Shmueli87 books/cs/Ullman88 books/cs/Ullman89 journals/algorithmica/UllmanG88 conf/pods/Vardi88