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]
Kleine unentscheidbare Klassen der Prädikatenlogik mit Identität und Funktionszeichen. Martin Wirsing (1978) Archiv für mathematische Logik und Grundlagenforschung