Serge Abiteboul Moshe Y. Vardi Victor Vianu Computing with Infinitary Logic. 113-123 ICDT1992/P113.pdf 1992 ICDT db/conf/icdt/icdt92.html#AbiteboulVV92 conf/icdt/92 http://dx.doi.org/10.1007/3-540-56039-4_36 conf/pods/AfratiCY91 journals/jcss/AbiteboulV91 conf/stoc/AbiteboulV91 journals/jcss/AbiteboulV95 ... ... ... ... journals/jcss/BarringtonIS90 journals/jcss/ChandraH80 journals/jcss/ChandraH82 journals/iandc/DawarLW95 conf/icdt/Fagin90 books/aw/HopcroftU79 journals/iandc/Immerman86 books/el/leeuwen90/Kanellakis90 conf/stoc/KolaitisV87 conf/pods/KolaitisV90 conf/lics/KolaitisV90 conf/lics/KolaitisV92 ... books/cs/Ullman88 conf/stoc/Vardi82