@article{Schwer1992199,
    Author = {Schwer, Sylviane R.},
    File = {The context-freeness of the languages associated with vector addition systems is decidable - Schwer (0) (0) - a - a - w.pdf},
    ISSN = {0304-3975},
    Journal = {Theoretical Computer Science},
    Keywords = {vector addition systems},
    Number = {2},
    Pages = {199 - 247},
    Title = {The context-freeness of the languages associated with vector addition systems is decidable},
    URL = {http://www.sciencedirect.com/science/article/pii/030439759290002W},
    Volume = {98},
    Year = {1992},
    bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/030439759290002W},
    bdsk-url-2 = {http://dx.doi.org/10.1016/0304-3975(92)90002-W},
    date-added = {2013-10-25 09:17:50 +0000},
    date-modified = {2013-10-25 09:18:31 +0000},
    doi = {10.1016/0304-3975(92)90002-W}
}

@article{Schwer1992199, Author = {Schwer, Sylviane R.}, File = {The context-freeness of the languages associated with vector addition systems is decidable - Schwer (0) (0) - a - a - w.pdf}, ISSN = {0304-3975}, Journal = {Theoretical Computer Science}, Keywords = {vector addition systems}, Number = {2}, Pages = {199 - 247}, Title = {The context-freeness of the languages associated with vector addition systems is decidable}, URL = {http://www.sciencedirect.com/science/article/pii/030439759290002W}, Volume = {98}, Year = {1992}, bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/030439759290002W}, bdsk-url-2 = {http://dx.doi.org/10.1016/0304-3975(92)90002-W}, date-added = {2013-10-25 09:17:50 +0000}, date-modified = {2013-10-25 09:18:31 +0000}, doi = {10.1016/0304-3975(92)90002-W} }