The poset structure of positive implicative BCK-algebras - Guzmán, F. (Springer, 1994)
http://dx.doi.org/10.1007/BF01235177
Keywords: SA-SP