Serge Abiteboul Moshe Y. Vardi Victor Vianu Computing with Infinitary Logic. 101-128 1995 149 Theor. Comput. Sci. 1 db/journals/tcs/tcs149.html#AbiteboulVV95 http://dx.doi.org/10.1016/0304-3975(95)00027-T