@misc{indiciaed35e351b9af6,
  title = {Implicational Relevance Logic is 2-EXPTIME-Complete},
  author = {Sylvain Schmitz},
  year = {2022},
  doi = {10.1007/978-3-319-08918-8\_27 10.1017/jsl.2015.7},
  url = {https://arxiv.org/abs/1402.0705},
  note = {Source identifier: 1402.0705}
}