conf/pods/90 Serge Abiteboul Eric Simon Victor Vianu Non-Deterministic Languages to Express Deterministic Transformations. 218-229 1990 PODS db/conf/pods/pods90.html#AbiteboulSV90 http://doi.acm.org/10.1145/298514.298575 journals/anthology/cd1-3:PODS90/P218.PDF journals/anthology/dvd1:text/1-3/PODS90/P218.PDF conf/vldb/AbiteboulG85 conf/sigmod/AbiteboulH88 journals/tcs/AbiteboulS91 conf/lics/AbiteboulV89 journals/jcss/AbiteboulV91 conf/popl/Chandra81 journals/jcss/ChandraH80 journals/siamcomp/ChandraV85 ... conf/focs/GurevichS85 journals/jacm/ImielinskiL84 journals/iandc/Immerman86 journals/siamcomp/Immerman87 ... ... conf/vldb/MaindrevilleS88 books/cs/NaqviT89 conf/pods/Sagiv87 conf/pods/Shmueli87 conf/icdt/SimonM88 books/cs/Ullman88 books/cs/Ullman89 conf/stoc/Vardi82