Similar Items: Querying the Guarded Fragment
- Tighter Bounds for Query Answering with Guarded TGDs
- Adding Path-Functional Dependencies to the Guarded Two-Variable Fragment with Counting
- On two-variable guarded fragment logic with expressive local Presburger constraints
- The Guarded Lambda-Calculus: Programming and Reasoning with Guarded Recursion for Coinductive Types
- On guarded extensions of MMSNP
- Logics with rigidly guarded data tests