@article{BojanczykKlinLasota:LMCS:2014,
    Author = {Boja{\'n}czyk, Miko{{\l}}aj and Klin, Bartek and Lasota, S{{\l}}awomir},
    File = {Automata Theory in Nominal Sets - Bojanczyk, Klin, Lasota (1) (0) - a - a - p.pdf},
    Journal = {{Logical Methods in Computer Science}},
    Keywords = {Computer Science - Logic in Computer Science ; Computer Science - Formal Languages and Automata Theory},
    Month = {August},
    Title = {{Automata theory in nominal sets}},
    URL = {https://lmcs.episciences.org/1157},
    Volume = {{Volume 10, Issue 3}},
    Year = {2014},
    bdsk-url-1 = {https://lmcs.episciences.org/1157},
    bdsk-url-2 = {https://doi.org/10.2168/LMCS-10(3:4)2014},
    date-added = {2019-01-30 10:05:14 +0100},
    date-modified = {2019-01-30 10:05:14 +0100},
    file-2 = {Automata Theory in Nominal Sets - Bojanczyk, Klin, Lasota (0) (0) - a - a - p.pdf},
    doi = {10.2168/LMCS-10(3:4)2014}
}

@article{BojanczykKlinLasota:LMCS:2014, Author = {Boja{\'n}czyk, Miko{{\l}}aj and Klin, Bartek and Lasota, S{{\l}}awomir}, File = {Automata Theory in Nominal Sets - Bojanczyk, Klin, Lasota (1) (0) - a - a - p.pdf}, Journal = {{Logical Methods in Computer Science}}, Keywords = {Computer Science - Logic in Computer Science ; Computer Science - Formal Languages and Automata Theory}, Month = {August}, Title = {{Automata theory in nominal sets}}, URL = {https://lmcs.episciences.org/1157}, Volume = {{Volume 10, Issue 3}}, Year = {2014}, bdsk-url-1 = {https://lmcs.episciences.org/1157}, bdsk-url-2 = {https://doi.org/10.2168/LMCS-10(3:4)2014}, date-added = {2019-01-30 10:05:14 +0100}, date-modified = {2019-01-30 10:05:14 +0100}, file-2 = {Automata Theory in Nominal Sets - Bojanczyk, Klin, Lasota (0) (0) - a - a - p.pdf}, doi = {10.2168/LMCS-10(3:4)2014} }