Optimizing Tree Decompositions in MSO.

Mikolaj Bojanczyk, Michal Pilipczuk

Browse the full STACS paper archive.