Hongyan Xing Daowen Qiu Fuchun Liu Automata theory based on complete residuated lattice-valued logic: Pushdown automata. 1125-1140 2009 160 Fuzzy Sets and Systems 8 http://dx.doi.org/10.1016/j.fss.2008.07.010 db/journals/fss/fss160.html#XingQL09