中国科学院数学与系统科学研究院期刊网
Enumerating Separable Boolean Functions via Anti-Chain Method
Guo Jun WANG(1),Wei WANG(2)
Acta Mathematica Sinica, Chinese Series . 2000, (5): 829 -832 .  DOI: 10.12386/A2000sxxb0108