Kumar Neeraj Verma, Jean Goubault-Larrecq. Karp-Miller Trees for a Branching Extension of VASS. Discrete Mathematics & Theoretical Computer Science, 7(1):217-230, 2005. [doi]
@article{VermaG05,
title = {Karp-Miller Trees for a Branching Extension of VASS},
author = {Kumar Neeraj Verma and Jean Goubault-Larrecq},
year = {2005},
url = {http://www.dmtcs.org/volumes/abstracts/dm070113.abs.html},
researchr = {https://researchr.org/publication/VermaG05},
cites = {0},
citedby = {0},
journal = {Discrete Mathematics & Theoretical Computer Science},
volume = {7},
number = {1},
pages = {217-230},
}