@article{lmcs:1178,
    Author = {Fogarty, Seth and Vardi, Moshe Y.},
    File = {1110.6183 (0) - a - a - y.pdf},
    Journal = {{Logical Methods in Computer Science}},
    Keywords = {Computer Science - Formal Languages and Automata Theory ; D.2.4},
    Month = {February},
    Title = {{B\"uchi Complementation and Size-Change Termination}},
    URL = {https://lmcs.episciences.org/1178},
    Volume = {{Volume 8, Issue 1}},
    Year = {2012},
    bdsk-url-1 = {https://lmcs.episciences.org/1178},
    bdsk-url-2 = {https://doi.org/10.2168/LMCS-8(1:13)2012},
    date-added = {2019-03-08 19:31:02 +0100},
    date-modified = {2019-03-08 19:31:02 +0100},
    doi = {10.2168/LMCS-8(1:13)2012}
}

@article{lmcs:1178, Author = {Fogarty, Seth and Vardi, Moshe Y.}, File = {1110.6183 (0) - a - a - y.pdf}, Journal = {{Logical Methods in Computer Science}}, Keywords = {Computer Science - Formal Languages and Automata Theory ; D.2.4}, Month = {February}, Title = {{B\"uchi Complementation and Size-Change Termination}}, URL = {https://lmcs.episciences.org/1178}, Volume = {{Volume 8, Issue 1}}, Year = {2012}, bdsk-url-1 = {https://lmcs.episciences.org/1178}, bdsk-url-2 = {https://doi.org/10.2168/LMCS-8(1:13)2012}, date-added = {2019-03-08 19:31:02 +0100}, date-modified = {2019-03-08 19:31:02 +0100}, doi = {10.2168/LMCS-8(1:13)2012} }