TY  - RPRT
TI  - Executable First-Order Queries in the Logic of Information Flows
AU  - Heba Aamer
AU  - Bart Bogaerts
AU  - Dimitri Surinx
AU  - Eugenia Ternovska
AU  - Jan Van den Bussche
PY  - 2024
DO  - 10.46298/lmcs-20(2:6)2024
UR  - https://arxiv.org/abs/2210.00240
ID  - 2210.00240
ER  -