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]