Similar Items: Answer Counting under Guarded TGDs
- Tighter Bounds for Query Answering with Guarded TGDs
- Adding Path-Functional Dependencies to the Guarded Two-Variable Fragment with Counting
- The Guarded Lambda-Calculus: Programming and Reasoning with Guarded Recursion for Coinductive Types
- Querying the Guarded Fragment
- On guarded extensions of MMSNP
- A Simple Algorithm for Consistent Query Answering under Primary Keys