@inproceedings{Bojanczyk:2011:AGA:2058525.2059631,
    Address = {Washington, DC, USA},
    Author = {Bojanczyk, Mikolaj and Klin, Bartek and Lasota, Slawomir},
    BookTitle = {Proc. of LICS'11},
    File = {Automata with Group Actions - Bojanczyk, Klin, Lasota (0) (0) - a - a - q.pdf},
    ISBN = {978-0-7695-4412-0},
    Keywords = {nominal sets},
    Pages = {355--364},
    Publisher = {IEEE Computer Society},
    Title = {Automata with Group Actions},
    URL = {http://dx.doi.org/10.1109/LICS.2011.48},
    Year = {2011},
    acmid = {2059631},
    bdsk-url-1 = {http://dx.doi.org/10.1109/LICS.2011.48},
    date-added = {2013-10-02 11:14:51 +0000},
    date-modified = {2014-01-03 17:47:18 +0000},
    numpages = {10},
    doi = {10.1109/LICS.2011.48}
}

@inproceedings{Bojanczyk:2011:AGA:2058525.2059631, Address = {Washington, DC, USA}, Author = {Bojanczyk, Mikolaj and Klin, Bartek and Lasota, Slawomir}, BookTitle = {Proc. of LICS'11}, File = {Automata with Group Actions - Bojanczyk, Klin, Lasota (0) (0) - a - a - q.pdf}, ISBN = {978-0-7695-4412-0}, Keywords = {nominal sets}, Pages = {355--364}, Publisher = {IEEE Computer Society}, Title = {Automata with Group Actions}, URL = {http://dx.doi.org/10.1109/LICS.2011.48}, Year = {2011}, acmid = {2059631}, bdsk-url-1 = {http://dx.doi.org/10.1109/LICS.2011.48}, date-added = {2013-10-02 11:14:51 +0000}, date-modified = {2014-01-03 17:47:18 +0000}, numpages = {10}, doi = {10.1109/LICS.2011.48} }