@article{9ed7bda5ef45434c82b85e3b12a21674,
title = "Parity game reductions",
keywords = "AUTOMATA, BOOLEAN EQUATION SYSTEMS, BRANCHING BISIMILARITY, BUCHI AUTOMATA, GRAPHS, INFINITE GAMES, MODEL-CHECKING, SIMULATION RELATIONS, bisimulation, formal methods, model checking, parity games",
author = "S. Cranen and J.J.A. Keiren and T.A.C. Willemse",
year = "2018",
month = aug,
doi = "10.1007/s00236-017-0301-x",
language = "English",
volume = "55",
pages = "401--444",
journal = "Acta Informatica",
issn = "0001-5903",
publisher = "Springer New York",
number = "5",
}