@article{lmcs:4433,
    Author = {Mio, Matteo and Skrzypczak, Micha{\l} and Michalewski, Henryk},
    File = {1702.047690 (0) - a - a - b.pdf},
    Journal = {{Logical Methods in Computer Science}},
    Keywords = {Computer Science - Logic in Computer Science ; Computer Science - Formal Languages and Automata Theory ; Mathematics - Logic},
    Month = {April},
    Title = {{Monadic Second Order Logic with Measure and Category Quantifiers}},
    URL = {https://lmcs.episciences.org/4433},
    Volume = {{Volume 14, Issue 2}},
    Year = {2018},
    bdsk-url-1 = {https://lmcs.episciences.org/4433},
    bdsk-url-2 = {https://doi.org/10.23638/LMCS-14(2:2)2018},
    date-added = {2018-04-10 13:31:19 +0000},
    date-modified = {2018-04-10 13:31:19 +0000},
    doi = {10.23638/LMCS-14(2:2)2018}
}

@article{lmcs:4433, Author = {Mio, Matteo and Skrzypczak, Micha{\l} and Michalewski, Henryk}, File = {1702.047690 (0) - a - a - b.pdf}, Journal = {{Logical Methods in Computer Science}}, Keywords = {Computer Science - Logic in Computer Science ; Computer Science - Formal Languages and Automata Theory ; Mathematics - Logic}, Month = {April}, Title = {{Monadic Second Order Logic with Measure and Category Quantifiers}}, URL = {https://lmcs.episciences.org/4433}, Volume = {{Volume 14, Issue 2}}, Year = {2018}, bdsk-url-1 = {https://lmcs.episciences.org/4433}, bdsk-url-2 = {https://doi.org/10.23638/LMCS-14(2:2)2018}, date-added = {2018-04-10 13:31:19 +0000}, date-modified = {2018-04-10 13:31:19 +0000}, doi = {10.23638/LMCS-14(2:2)2018} }