Information and Computation, volume 255, pages 147-164, 2017.

2017, Technical report AC-TR-17-010, Algorithms and Complexity Group, TU Wien.

Mathematical Foundations of Computer Science 2013 - 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013. Proceedings (Krishnendu Chatterjee and Jiri Sgall), volume 8087 of Lecture Notes in Computer Science, pages 704-716, 2013, Springer Verlag.