TY - RPRT TI - MSOL-Definability Equals Recognizability for Halin Graphs and Bounded Degree $k$-Outerplanar Graphs AU - Lars Jaffke AU - Hans L. Bodlaender PY - 2015 UR - https://arxiv.org/abs/1503.01604 ID - 1503.01604 ER -