conf/pods/87 Jeffrey F. Naughton Yehoshua Sagiv A Decidable Class of Bounded Recursions. 227-236 1987 PODS db/conf/pods/pods87.html#NaughtonS87 http://doi.acm.org/10.1145/28659.28684 db/conf/pods/NaughtonS87.html journals/anthology/cd1-3:PODS87/P227.PDF journals/anthology/dvd1:text/1-3/PODS87/P227.PDF journals/siamcomp/AhoSU79 journals/jacm/GaifmanMSV93 ... journals/algorithmica/Ioannidis86 conf/icdt/Kanellakis86 conf/iclp/Maher86 conf/pods/Naughton86 journals/jcss/Naughton89 ... conf/pods/Sagiv87 journals/jacm/EmdenK76