@article{DBLP:journals/entcs/AntonikCH09,
author = {Adam Antonik and
Nathaniel Charlton and
Michael Huth},
title = {Polynomial-Time Under-Approximation of Winning Regions in
Parity Games},
journal = {Electr. Notes Theor. Comput. Sci.},
volume = {225},
year = {2009},
pages = {115-139},
ee = {http://dx.doi.org/10.1016/j.entcs.2008.12.070},
bibsource = {DBLP, http://dblp.uni-trier.de}
}