次直既约和不直可分解的格蕴涵代数
王学芳, 徐扬, 宋振明
Subdirectly Irreducible and Directly Indecomposable Lattice Implication Algebras
WANG Xue-fang, XU Yang, SONG Zhen-ming
数学季刊 . 2004, (4): 385 -392 .