@misc{indiciae9f71b905250a,
  title = {Complexity of correctness for pomset logic proof nets},
  author = {Lê Thành Dũng Nguyên},
  year = {2023},
  url = {https://arxiv.org/abs/1912.10606},
  note = {Source identifier: 1912.10606}
}