@article{lmcs:9029,
    Author = {Boja{\'n}czyk, Miko{\l}aj and Pilipczuk, Micha{\l}},
    File = {OPTIMIZING TREE DECOMPOSITIONS IN MSO - 1701.06937 - i.pdf},
    Journal = {{Logical Methods in Computer Science}},
    Keywords = {Computer Science - Logic in Computer Science ; Computer Science - Discrete Mathematics ; Computer Science - Data Structures and Algorithms},
    Month = {February},
    Title = {{Optimizing tree decompositions in MSO}},
    URL = {https://lmcs.episciences.org/9029},
    Volume = {{Volume 18, Issue 1}},
    Year = {2022},
    bdsk-url-1 = {https://lmcs.episciences.org/9029},
    bdsk-url-2 = {https://doi.org/10.46298/lmcs-18(1:26)2022},
    date-added = {2022-02-07 09:29:20 +0100},
    date-modified = {2022-02-07 09:29:20 +0100},
    doi = {10.46298/lmcs-18(1:26)2022}
}

@article{lmcs:9029, Author = {Boja{\'n}czyk, Miko{\l}aj and Pilipczuk, Micha{\l}}, File = {OPTIMIZING TREE DECOMPOSITIONS IN MSO - 1701.06937 - i.pdf}, Journal = {{Logical Methods in Computer Science}}, Keywords = {Computer Science - Logic in Computer Science ; Computer Science - Discrete Mathematics ; Computer Science - Data Structures and Algorithms}, Month = {February}, Title = {{Optimizing tree decompositions in MSO}}, URL = {https://lmcs.episciences.org/9029}, Volume = {{Volume 18, Issue 1}}, Year = {2022}, bdsk-url-1 = {https://lmcs.episciences.org/9029}, bdsk-url-2 = {https://doi.org/10.46298/lmcs-18(1:26)2022}, date-added = {2022-02-07 09:29:20 +0100}, date-modified = {2022-02-07 09:29:20 +0100}, doi = {10.46298/lmcs-18(1:26)2022} }