On the OBDD size for graphs of bounded tree- and clique-width
scientific article; zbMATH DE number 5542379
scientific article