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]
König's Lemma, the ...-rule and primitive recursive arithmetic. E.G.K. López-Escobar (1985) Archiv für mathematische Logik und Grundlagenforschung