An improvement on Valiant's decision procedure for equivalence of deterministic finite turn pushdown machines
scientific article; zbMATH DE number 3562531