@article{Chaloupka_2013,
    doi = {10.3233/fi-2013-798},
    url = {https://doi.org/10.3233%2Ffi-2013-798},
    year = {2013},
    publisher = {{IOS} Press},
    volume = {123},
    number = {1},
    pages = {15--42},
    author = {Jakub Chaloupka},
    title = {Z-reachability Problem for Games on 2-dimensional Vector Addition Systems with States is in P},
    journal = {Fundamenta Informaticae}
}

@article{Chaloupka_2013, doi = {10.3233/fi-2013-798}, url = {https://doi.org/10.3233%2Ffi-2013-798}, year = {2013}, publisher = {{IOS} Press}, volume = {123}, number = {1}, pages = {15--42}, author = {Jakub Chaloupka}, title = {Z-reachability Problem for Games on 2-dimensional Vector Addition Systems with States is in P}, journal = {Fundamenta Informaticae} }