@misc{indiciae4f10da8d7434,
  title = {Decidable fragments of first-order modal logics with counting quantifiers over varying domains},
  author = {Christopher Hampson},
  year = {2018},
  url = {https://arxiv.org/abs/1812.06341},
  note = {Source identifier: 1812.06341}
}