@misc{indiciae69ff4f19a72a,
  title = {From QBFs to MALL and back via focussing: fragments of multiplicative additive linear logic for each level of the polynomial hierarchy},
  author = {Anupam Das},
  year = {2020},
  url = {https://arxiv.org/abs/1906.03611},
  note = {Source identifier: 1906.03611}
}