Algorithms counting monotone Boolean functions
scientific article; zbMATH DE number 1767380