Computing with Infinitary Logic.

Serge Abiteboul, Moshe Y. Vardi, Victor Vianu

Browse the full ICDT paper archive.