@article{10.1145/1352582.1352586,
    Address = {New York, NY, USA},
    Author = {Blass, Andreas and Gurevich, Yuri},
    File = {Program Termination and Well Partial Orderings - 1352582.1352586 - a - n.pdf},
    ISSN = {1529-3785},
    Journal = {ACM Trans. Comput. Logic},
    Keywords = {covering observation, game criterion, Program termination, well partial orderings},
    Month = {June},
    Number = {3},
    Publisher = {Association for Computing Machinery},
    Title = {Program Termination and Well Partial Orderings},
    URL = {https://doi.org/10.1145/1352582.1352586},
    Volume = {9},
    Year = {2008},
    articleno = {Article 18},
    bdsk-url-1 = {https://doi.org/10.1145/1352582.1352586},
    date-added = {2020-04-13 10:41:52 +0200},
    date-modified = {2020-04-13 10:41:52 +0200},
    issue_date = {June 2008},
    numpages = {26},
    doi = {10.1145/1352582.1352586}
}

@article{10.1145/1352582.1352586, Address = {New York, NY, USA}, Author = {Blass, Andreas and Gurevich, Yuri}, File = {Program Termination and Well Partial Orderings - 1352582.1352586 - a - n.pdf}, ISSN = {1529-3785}, Journal = {ACM Trans. Comput. Logic}, Keywords = {covering observation, game criterion, Program termination, well partial orderings}, Month = {June}, Number = {3}, Publisher = {Association for Computing Machinery}, Title = {Program Termination and Well Partial Orderings}, URL = {https://doi.org/10.1145/1352582.1352586}, Volume = {9}, Year = {2008}, articleno = {Article 18}, bdsk-url-1 = {https://doi.org/10.1145/1352582.1352586}, date-added = {2020-04-13 10:41:52 +0200}, date-modified = {2020-04-13 10:41:52 +0200}, issue_date = {June 2008}, numpages = {26}, doi = {10.1145/1352582.1352586} }