Computing with infinitary logic, (1995)

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