@inproceedings{Finkel2016,
    Address = {Cham},
    Author = {Finkel, Alain},
    BookTitle = {Reachability Problems: 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings},
    Editor = {Larsen, Kim Guldstrand and Potapov, Igor and Srba, Ji{\v{r}}{\'\i}},
    File = {441b87587e2fa84b0c77d8ccd4233df030c9 (0) - a - a - p.pdf},
    ISBN = {978-3-319-45994-3},
    Pages = {1--22},
    Publisher = {Springer International Publishing},
    Title = {The Ideal Theory for WSTS},
    URL = {http://dx.doi.org/10.1007/978-3-319-45994-3\_1},
    Year = {2016},
    bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-319-45994-3\_1},
    date-added = {2017-02-10 10:51:48 +0000},
    date-modified = {2017-02-10 10:51:54 +0000},
    doi = {10.1007/978-3-319-45994-3_1}
}

@inproceedings{Finkel2016, Address = {Cham}, Author = {Finkel, Alain}, BookTitle = {Reachability Problems: 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings}, Editor = {Larsen, Kim Guldstrand and Potapov, Igor and Srba, Ji{\v{r}}{\'\i}}, File = {441b87587e2fa84b0c77d8ccd4233df030c9 (0) - a - a - p.pdf}, ISBN = {978-3-319-45994-3}, Pages = {1--22}, Publisher = {Springer International Publishing}, Title = {The Ideal Theory for WSTS}, URL = {http://dx.doi.org/10.1007/978-3-319-45994-3_1}, Year = {2016}, bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-319-45994-3_1}, date-added = {2017-02-10 10:51:48 +0000}, date-modified = {2017-02-10 10:51:54 +0000}, doi = {10.1007/978-3-319-45994-3_1} }