@Inproceedings{EPTCS305.8, author = {van Dijk, Tom}, year = {2019}, title = {A Parity Game Tale of Two Counters}, editor = {Leroux, J\'er\^ome and Raskin, Jean-Francois}, booktitle = {{\rm Proceedings Tenth International Symposium on} Games, Automata, Logics, and Formal Verification, {\rm Bordeaux, France, 2-3rd September 2019}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {305}, publisher = {Open Publishing Association}, pages = {107-122}, doi = {10.4204/EPTCS.305.8}, }