@misc{indiciae92161090382b,
  title = {Two dichotomies for model-checking in multi-layer structures},
  author = {Jessica Enright and Kitty Meeks and Jessica Ryan},
  year = {2020},
  url = {https://arxiv.org/abs/1710.08758},
  note = {Source identifier: 1710.08758}
}