TY - RPRT TI - Kernelizing MSO Properties of Trees of Fixed Height, and Some Consequences AU - Jakub Gajarsky AU - Petr Hlineny PY - 2015 DO - 10.2168/lmcs-11(1:19)2015 UR - https://arxiv.org/abs/1204.5194 ID - 1204.5194 ER -