@article{Finkel:1990:RCI:95110.95128,
    Address = {Duluth, MN, USA},
    Author = {Finkel, Alain},
    File = {Reduction and covering of infinite reachability trees - Finkel (0) (0) - a - a - f.pdf},
    ISSN = {0890-5401},
    Journal = {Inf. Comput.},
    Keywords = {well-structured transition systems},
    Month = {December},
    Number = {2},
    Pages = {144--179},
    Publisher = {Academic Press, Inc.},
    Title = {Reduction and covering of infinite reachability trees},
    URL = {http://dx.doi.org/10.1016/0890-5401(90)90009-7},
    Volume = {89},
    Year = {1990},
    acmid = {95128},
    bdsk-url-1 = {http://dx.doi.org/10.1016/0890-5401(90)90009-7},
    date-added = {2012-12-29 14:31:47 +0000},
    date-modified = {2012-12-29 14:32:12 +0000},
    issue_date = {Dec. 1990},
    numpages = {36},
    doi = {10.1016/0890-5401(90)90009-7}
}

@article{Finkel:1990:RCI:95110.95128, Address = {Duluth, MN, USA}, Author = {Finkel, Alain}, File = {Reduction and covering of infinite reachability trees - Finkel (0) (0) - a - a - f.pdf}, ISSN = {0890-5401}, Journal = {Inf. Comput.}, Keywords = {well-structured transition systems}, Month = {December}, Number = {2}, Pages = {144--179}, Publisher = {Academic Press, Inc.}, Title = {Reduction and covering of infinite reachability trees}, URL = {http://dx.doi.org/10.1016/0890-5401(90)90009-7}, Volume = {89}, Year = {1990}, acmid = {95128}, bdsk-url-1 = {http://dx.doi.org/10.1016/0890-5401(90)90009-7}, date-added = {2012-12-29 14:31:47 +0000}, date-modified = {2012-12-29 14:32:12 +0000}, issue_date = {Dec. 1990}, numpages = {36}, doi = {10.1016/0890-5401(90)90009-7} }