@article{9ed7bda5ef45434c82b85e3b12a21674,
title = "Parity game reductions",
keywords = "parity games, model checking, formal methods, bisimulation, SIMULATION RELATIONS, MODEL-CHECKING, BOOLEAN EQUATION SYSTEMS, BRANCHING BISIMILARITY, INFINITE GAMES, BUCHI AUTOMATA, GRAPHS, AUTOMATA",
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",
}