Karp-Miller trees for a branching extension of VASS. Verma, Kumar Neeraj, Goubault-Larrecq, Jean (2005) Discrete Mathematics and Theoretical Computer Science. DMTCS [electronic only]