@article{lmcs:3215,
    Author = {Salvati, Sylvain and Walukiewicz, Igor},
    File = {1609.02753 (0) - a - a - g.pdf},
    Journal = {{Logical Methods in Computer Science}},
    Keywords = {Computer Science - Logic in Computer Science},
    Month = {March},
    Title = {{Typing weak MSOL properties}},
    URL = {http://lmcs.episciences.org/3215},
    Volume = {{Volume 13, Issue 1}},
    Year = {2017},
    bdsk-url-1 = {http://lmcs.episciences.org/3215},
    bdsk-url-2 = {https://dx.doi.org/10.23638/LMCS-13(1:14)2017},
    date-added = {2018-03-02 07:01:30 +0000},
    date-modified = {2018-03-02 07:01:30 +0000},
    doi = {10.23638/LMCS-13(1:14)2017}
}

@article{lmcs:3215, Author = {Salvati, Sylvain and Walukiewicz, Igor}, File = {1609.02753 (0) - a - a - g.pdf}, Journal = {{Logical Methods in Computer Science}}, Keywords = {Computer Science - Logic in Computer Science}, Month = {March}, Title = {{Typing weak MSOL properties}}, URL = {http://lmcs.episciences.org/3215}, Volume = {{Volume 13, Issue 1}}, Year = {2017}, bdsk-url-1 = {http://lmcs.episciences.org/3215}, bdsk-url-2 = {https://dx.doi.org/10.23638/LMCS-13(1:14)2017}, date-added = {2018-03-02 07:01:30 +0000}, date-modified = {2018-03-02 07:01:30 +0000}, doi = {10.23638/LMCS-13(1:14)2017} }