Similar Items: On guarded extensions of MMSNP
- Rewritability in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics
- The Guarded Lambda-Calculus: Programming and Reasoning with Guarded Recursion for Coinductive Types
- Querying the Guarded Fragment
- Logics with rigidly guarded data tests
- Guarded and Unguarded Iteration for Generalized Processes
- Answer Counting under Guarded TGDs