@misc{indiciae187f42f38b67,
  title = {Grammar Logics in Nested Sequent Calculus: Proof Theory and Decision Procedures},
  author = {Alwen Tiu and Egor Ianovski and Rajeev Gore},
  year = {2012},
  url = {https://arxiv.org/abs/1204.2413},
  note = {Source identifier: 1204.2413}
}