Fuzzy alternating automata over distributive lattices
scientific article; zbMATH DE number 7221850
scientific article