TY  - RPRT
TI  - Two dichotomies for model-checking in multi-layer structures
AU  - Jessica Enright
AU  - Kitty Meeks
AU  - Jessica Ryan
PY  - 2020
UR  - https://arxiv.org/abs/1710.08758
ID  - 1710.08758
ER  -