TY - RPRT TI - Monadic second-order definable graph orderings AU - Achim Blumensath AU - Bruno Courcelle PY - 2014 DO - 10.2168/lmcs-10(1:2)2014 UR - https://arxiv.org/abs/1310.8148 ID - 1310.8148 ER -