@misc{indiciaea082f3b99406,
  title = {Decision Problems for Propositional Non-associative Linear Logic and Extensions},
  author = {Hiromi Tanaka},
  year = {2020},
  url = {https://arxiv.org/abs/2003.01501},
  note = {Source identifier: 2003.01501}
}