Serge Abiteboul, Moshe Y. Vardi, Victor Vianu. Computing with Infinitary Logic. In Joachim Biskup, Richard Hull, editors, Database Theory - ICDT 92, 4th International Conference, Berlin, Germany, October 14-16, 1992, Proceedings. Volume 646 of Lecture Notes in Computer Science, pages 113-123, Springer, 1992. [doi]
Abstract is missing.