The limits of decidability for first order logic on CPDA graphs
scientific article; zbMATH DE number 6070936