Zdenek Dvorak, Martin Kupec, Vojtech Tuma. A Dynamic Data Structure for MSO Properties in Graphs with Bounded Tree-Depth. In Andreas S. Schulz, Dorothea Wagner, editors, Algorithms - ESA 2014 - 22th Annual European Symposium, Wroclaw, Poland, September 8-10, 2014. Proceedings. Volume 8737 of Lecture Notes in Computer Science, pages 334-345, Springer, 2014. [doi]
Abstract is missing.