@misc{indiciae1127e8a02e20,
  title = {Simulating Parity Reasoning (extended version)},
  author = {Tero Laitinen and Tommi Junttila and Ilkka Niemelä},
  year = {2013},
  url = {https://arxiv.org/abs/1311.4289},
  note = {Source identifier: 1311.4289}
}