Executable First-Order Queries in the Logic of Information Flows (Logical Methods in Computer Science, 2024)