Fuzzy pushdown automata based on complete residuated lattices: variants and computing powers. - Wang, Haihui; Zhao, Luyao; He, Yongxia; Han, Zhimin; Li, Ping (Soft Computing - A Fusion of Foundations, Methodologies & Applications, 2023)