Irène Guessarian Deciding Boundedness for Uniformly Connected Datalog Programs. 395-405 ICDT1990/P395.pdf 1990 ICDT db/conf/icdt/icdt90.html#Guessarian90 conf/icdt/90 http://dx.doi.org/10.1007/3-540-53507-1_91 journals/ipl/Abiteboul89 conf/focs/AjtaiG89 conf/pods/BeeriKBR87 books/mk/minker88/BancilhonR88 conf/stoc/CosmadakisGKV88 conf/lics/GaifmanMSV87 conf/vldb/Ioannidis85 books/mk/minker88/Kanellakis88 ... journals/sigact/KanellakisA89 conf/pods/NaughtonS87 journals/jcss/Naughton89 conf/pods/Sagiv85a ... books/cs/Ullman88 books/cs/Ullman89 conf/pods/Vardi88