Computing with infinitary logic (1995)

by S Abiteboul, M Y Vardi, V Vianu
Venue:Theoretical Computer Science