@article{lmcs:5877,
    Author = {Klin, Bartek and {\L}e{\l}yk, Mateusz},
    File = {Scalar and Vectorial mu-calculus with Atoms - 1803.06752 - m.pdf},
    Journal = {Logical Methods in Computer Science},
    Keywords = {Computer Science - Logic in Computer Science ; F.4.1 ; D.2.4},
    Month = {October},
    Title = {{Scalar and Vectorial mu-calculus with Atoms}},
    URL = {https://lmcs.episciences.org/5877},
    Volume = {{Volume 15, Issue 4}},
    Year = {2019},
    bdsk-url-1 = {https://lmcs.episciences.org/5877},
    bdsk-url-2 = {https://doi.org/10.23638/LMCS-15(4:5)2019},
    bdsk-url-3 = {https://arxiv.org/abs/1803.06752v3},
    date-added = {2021-03-17 12:12:52 +0100},
    date-modified = {2021-03-17 12:12:52 +0100},
    doi = {10.23638/LMCS-15(4:5)2019}
}

@article{lmcs:5877, Author = {Klin, Bartek and {\L}e{\l}yk, Mateusz}, File = {Scalar and Vectorial mu-calculus with Atoms - 1803.06752 - m.pdf}, Journal = {Logical Methods in Computer Science}, Keywords = {Computer Science - Logic in Computer Science ; F.4.1 ; D.2.4}, Month = {October}, Title = {{Scalar and Vectorial mu-calculus with Atoms}}, URL = {https://lmcs.episciences.org/5877}, Volume = {{Volume 15, Issue 4}}, Year = {2019}, bdsk-url-1 = {https://lmcs.episciences.org/5877}, bdsk-url-2 = {https://doi.org/10.23638/LMCS-15(4:5)2019}, bdsk-url-3 = {https://arxiv.org/abs/1803.06752v3}, date-added = {2021-03-17 12:12:52 +0100}, date-modified = {2021-03-17 12:12:52 +0100}, doi = {10.23638/LMCS-15(4:5)2019} }