@article{BKL11full, author = {Miko{\l}aj Boja{\'n}czyk and Bartek Klin and S{\l}awomir Lasota}, title = {Automata theory in nominal sets}, journal = {Logical Methods in Computer Science}, year = 2014, volume = {10}, number = {3:4}, pages = {paper 4}, }