@misc{indiciaeb0d0817f5c11,
  title = {Undecidable propositional bimodal logics and one-variable first-order linear temporal logics with counting},
  author = {Christopher Hampson and Agi Kurucz},
  year = {2015},
  doi = {10.1145/2757285},
  url = {https://arxiv.org/abs/1407.1386},
  note = {Source identifier: 1407.1386}
}