Similar Items: Executable First-Order Queries in the Logic of Information Flows
- First-order query evaluation on structures of bounded degree
- First-order queries on classes of structures with bounded expansion
- The succinctness of first-order logic on linear orders
- Game semantics for first-order logic
- Enumerating Answers to First-Order Queries over Databases of Low Degree
- Decidability of Querying First-Order Theories via Countermodels of Finite Width