@inproceedings{Kosaraju:VASS:STOC:1982,
    Address = {New York, NY, USA},
    Author = {Kosaraju, S. Rao},
    BookTitle = {Proc of. STOC'82},
    File = {Decidability of reachability in vector addition systems (Preliminary Version) - Kosaraju (0) (0) - a - a - e.pdf},
    ISBN = {0-89791-070-2},
    Keywords = {vector addition systems},
    Location = {San Francisco, California, United States},
    Pages = {267--281},
    Publisher = {ACM},
    Series = {STOC '82},
    Title = {Decidability of reachability in vector addition systems (Preliminary Version)},
    URL = {http://doi.acm.org/10.1145/800070.802201},
    Year = {1982},
    acmid = {802201},
    bdsk-url-1 = {http://doi.acm.org/10.1145/800070.802201},
    bdsk-url-2 = {http://dx.doi.org/10.1145/800070.802201},
    date-added = {2012-05-24 14:43:28 +0200},
    date-modified = {2017-04-06 15:46:30 +0000},
    numpages = {15},
    doi = {10.1145/800070.802201}
}

@inproceedings{Kosaraju:VASS:STOC:1982, Address = {New York, NY, USA}, Author = {Kosaraju, S. Rao}, BookTitle = {Proc of. STOC'82}, File = {Decidability of reachability in vector addition systems (Preliminary Version) - Kosaraju (0) (0) - a - a - e.pdf}, ISBN = {0-89791-070-2}, Keywords = {vector addition systems}, Location = {San Francisco, California, United States}, Pages = {267--281}, Publisher = {ACM}, Series = {STOC '82}, Title = {Decidability of reachability in vector addition systems (Preliminary Version)}, URL = {http://doi.acm.org/10.1145/800070.802201}, Year = {1982}, acmid = {802201}, bdsk-url-1 = {http://doi.acm.org/10.1145/800070.802201}, bdsk-url-2 = {http://dx.doi.org/10.1145/800070.802201}, date-added = {2012-05-24 14:43:28 +0200}, date-modified = {2017-04-06 15:46:30 +0000}, numpages = {15}, doi = {10.1145/800070.802201} }