conf/pods/91 Neil Immerman Sushant Patnaik David W. Stemple The Expressiveness of a Family of Finite Set Languages. 37-52 1991 PODS db/conf/pods/pods91.html#ImmermanPS91 http://doi.acm.org/10.1145/113413.113417 db/conf/pods/ImmermanPS91.html journals/anthology/cd1-3:PODS91/P037.PDF journals/anthology/dvd1:text/1-3/PODS91/P037.PDF conf/popl/AhoU79 journals/sigact/AbiteboulK90 conf/sigmod/AbiteboulK89 journals/vldb/AbiteboulB95 conf/stoc/AfratiC89 conf/pods/AbiteboulV88 conf/lics/AbiteboulV89 conf/stoc/AbiteboulV91 journals/jcss/BarringtonIS90 ... conf/focs/CaiFI89 journals/jcss/ChandraH80 journals/jcss/ChandraH82 conf/pods/ChandraH82 conf/popl/Chandra81 journals/siamcomp/ChandraSV84 ... journals/iandc/Cook85 journals/jal/CookM87 conf/pods/CosmadakisK86 ... conf/pods/HullS89 conf/dbpl/HullS89 conf/pods/HullS88 journals/siamcomp/Immerman87 conf/stoc/Immerman82 journals/jcss/Immerman82 journals/siamcomp/Immerman88 journals/iandc/ImmermanL95 ... ... ... conf/sigmod/OhoriBT89 conf/dbpl/Qian89 journals/tods/SheardS89 conf/stoc/Vardi82 conf/stoc/VitterS90