Computing with Infinitary Logic (1995)

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