TY  - RPRT
TI  - Simulating Parity Reasoning (extended version)
AU  - Tero Laitinen
AU  - Tommi Junttila
AU  - Ilkka Niemelä
PY  - 2013
UR  - https://arxiv.org/abs/1311.4289
ID  - 1311.4289
ER  -