@misc{indiciae189b6eee390a,
  title = {Subatomic Proof Systems: Splittable Systems},
  author = {Andrea Aler Tubella and Alessio Guglielmi},
  year = {2017},
  doi = {10.1145/3173544},
  url = {https://arxiv.org/abs/1703.10258},
  note = {Source identifier: 1703.10258}
}