TY  - RPRT
TI  - Finite Satisfiability of the Two-Variable Guarded Fragment with Transitive Guards and Related Variants
AU  - Emanuel Kieronski
AU  - Lidia Tendera
PY  - 2018
DO  - 10.1145/3174805
UR  - https://arxiv.org/abs/1611.03267
ID  - 1611.03267
ER  -