Computing with infinitary logic. Unpublished manuscript (1992)

by S Abiteboul, Moshe Y Vardi, V Vianu