关于内射的格蕴涵代数
宋振明, 郑逢斌
On Injective Lattice Implication Algebras 
SONG Zhen-ming, ZHENG Feng-bin
数学季刊 . 2000, (1): 65 -70 .