Complexity theoretical results on partitioned (nondeterministic) binary decision diagrams
scientific article; zbMATH DE number 1309897