The poset structure of positive implicative BCK-algebras - Guzmán, F. (Springer, 1994)
In: 32 (1994), S. 398-406