Executable First-Order Queries in the Logic of Information Flows.

Heba Aamer, Bart Bogaerts, Dimitri Surinx, Eugenia Ternovska, Jan Van den Bussche

Browse the full ICDT paper archive.