@article{Parys:LMCS:2020,
    Author = {Parys, Pawe{\l}},
    File = {Recursion Schemes, the MSO Logic, and the U quantifier - 1810.04763.pdf},
    Journal = {{Logical Methods in Computer Science}},
    Keywords = {Computer Science - Logic in Computer Science},
    Month = {February},
    Title = {{Recursion Schemes, the MSO Logic, and the U quantifier}},
    URL = {https://lmcs.episciences.org/6111},
    Volume = {{Volume 16, Issue 1}},
    Year = {2020},
    bdsk-url-1 = {https://lmcs.episciences.org/6111},
    bdsk-url-2 = {https://doi.org/10.23638/LMCS-16(1:20)2020},
    date-added = {2023-05-25 16:21:19 +0200},
    date-modified = {2023-05-25 16:21:27 +0200},
    doi = {10.23638/LMCS-16(1:20)2020}
}

@article{Parys:LMCS:2020, Author = {Parys, Pawe{\l}}, File = {Recursion Schemes, the MSO Logic, and the U quantifier - 1810.04763.pdf}, Journal = {{Logical Methods in Computer Science}}, Keywords = {Computer Science - Logic in Computer Science}, Month = {February}, Title = {{Recursion Schemes, the MSO Logic, and the U quantifier}}, URL = {https://lmcs.episciences.org/6111}, Volume = {{Volume 16, Issue 1}}, Year = {2020}, bdsk-url-1 = {https://lmcs.episciences.org/6111}, bdsk-url-2 = {https://doi.org/10.23638/LMCS-16(1:20)2020}, date-added = {2023-05-25 16:21:19 +0200}, date-modified = {2023-05-25 16:21:27 +0200}, doi = {10.23638/LMCS-16(1:20)2020} }