The equivalence problem for two dpda's, one of which is a finite-turn or one-counter machine
scientific article; zbMATH DE number 3742628
scientific article