@misc{indiciaefa407b268606,
  title = {Algorithmic properties of first-order modal logics of linear Kripke frames in restricted languages},
  author = {Mikhail Rybakov and Dmitry Shkatov},
  year = {2021},
  doi = {10.1093/logcom/exab030},
  url = {https://arxiv.org/abs/2105.11811},
  note = {Source identifier: 2105.11811}
}