Size of ordered binary decision diagrams representing threshold functions
scientific article; zbMATH DE number 1177588