A Dynamic Data Structure for MSO Properties in Graphs with Bounded Tree-Depth.

Zdenek Dvork, Martin Kupec, Vojtech Tuma

Browse the full ESA paper archive.