@article{Bojanczyk:2015:AC:2835265.2835267,
    Address = {New York, NY, USA},
    Author = {Boja\'{n}czyk, Miko{\l}aj},
    File = {p3-bojanczyk (0) - a - a - d.pdf},
    ISSN = {2372-3491},
    Journal = {ACM SIGLOG News},
    Month = {October},
    Number = {4},
    Pages = {3--15},
    Publisher = {ACM},
    Title = {Automata Column},
    URL = {http://doi.acm.org/10.1145/2835265.2835267},
    Volume = {2},
    Year = {2015},
    acmid = {2835267},
    bdsk-url-1 = {http://doi.acm.org/10.1145/2835265.2835267},
    bdsk-url-2 = {http://dx.doi.org/10.1145/2835265.2835267},
    date-added = {2017-05-12 11:58:05 +0000},
    date-modified = {2017-05-12 11:58:05 +0000},
    issue_date = {October 2015},
    numpages = {13},
    doi = {10.1145/2835265.2835267}
}

@article{Bojanczyk:2015:AC:2835265.2835267, Address = {New York, NY, USA}, Author = {Boja\'{n}czyk, Miko{\l}aj}, File = {p3-bojanczyk (0) - a - a - d.pdf}, ISSN = {2372-3491}, Journal = {ACM SIGLOG News}, Month = {October}, Number = {4}, Pages = {3--15}, Publisher = {ACM}, Title = {Automata Column}, URL = {http://doi.acm.org/10.1145/2835265.2835267}, Volume = {2}, Year = {2015}, acmid = {2835267}, bdsk-url-1 = {http://doi.acm.org/10.1145/2835265.2835267}, bdsk-url-2 = {http://dx.doi.org/10.1145/2835265.2835267}, date-added = {2017-05-12 11:58:05 +0000}, date-modified = {2017-05-12 11:58:05 +0000}, issue_date = {October 2015}, numpages = {13}, doi = {10.1145/2835265.2835267} }