Samir, B. and Merdach, H.H. 2017. Implicative algebras and Heyting algebras can be residuated lattices. Journal of Progressive Research in Mathematics. 12, 4 (Oct. 2017), 2010-2014.