Testing language containment for \(\omega\)-automata using BDDs
scientific article; zbMATH DE number 758653