G. Hültenschmidt, P. Kindermann, W. Meulemans, and A. Schulz. Proceedings of the 43rd International Workshop on Graph-Theoretic Concepts in Computer Science (WG'17), volume 10520 of Lecture Notes in Computer Science, page 316--329. Springer-Verlag, (June 2017)