@article{Walukiewicz:ACM:SIGLOG:2016,
    Address = {New York, NY, USA},
    Author = {Walukiewicz, Igor},
    File = {Automata Theory and Higher-order Model-checking - Walukiewicz (1) (0) - a - a - s.pdf},
    ISSN = {2372-3491},
    Journal = {ACM SIGLOG News},
    Keywords = {citesme!},
    Month = {December},
    Number = {4},
    Pages = {13--31},
    Publisher = {ACM},
    Title = {Automata Theory and Higher-order Model-checking},
    URL = {http://doi.acm.org/10.1145/3026744.3026745},
    Volume = {3},
    Year = {2016},
    acmid = {3026745},
    bdsk-url-1 = {http://doi.acm.org/10.1145/3026744.3026745},
    bdsk-url-2 = {http://dx.doi.org/10.1145/3026744.3026745},
    date-added = {2016-12-22 07:03:08 +0000},
    date-modified = {2017-04-03 17:46:19 +0000},
    file-2 = {igw-siglog16 (0) (0) - a - a - s.pdf},
    issue_date = {October 2016},
    numpages = {19},
    doi = {10.1145/3026744.3026745}
}

@article{Walukiewicz:ACM:SIGLOG:2016, Address = {New York, NY, USA}, Author = {Walukiewicz, Igor}, File = {Automata Theory and Higher-order Model-checking - Walukiewicz (1) (0) - a - a - s.pdf}, ISSN = {2372-3491}, Journal = {ACM SIGLOG News}, Keywords = {citesme!}, Month = {December}, Number = {4}, Pages = {13--31}, Publisher = {ACM}, Title = {Automata Theory and Higher-order Model-checking}, URL = {http://doi.acm.org/10.1145/3026744.3026745}, Volume = {3}, Year = {2016}, acmid = {3026745}, bdsk-url-1 = {http://doi.acm.org/10.1145/3026744.3026745}, bdsk-url-2 = {http://dx.doi.org/10.1145/3026744.3026745}, date-added = {2016-12-22 07:03:08 +0000}, date-modified = {2017-04-03 17:46:19 +0000}, file-2 = {igw-siglog16 (0) (0) - a - a - s.pdf}, issue_date = {October 2016}, numpages = {19}, doi = {10.1145/3026744.3026745} }