@misc{indiciae05adfc14b34f,
  title = {Undecidability of the Lambek calculus with a relevant modality},
  author = {Max Kanovich and Stepan Kuznetsov and Andre Scedrov},
  year = {2016},
  doi = {10.1007/978-3-662-53042-9\_14},
  url = {https://arxiv.org/abs/1601.06303},
  note = {Source identifier: 1601.06303}
}