Berhanu Assaye, Mihret Alamneh, and Tilahun Mekonnen. “Autometrized Implicative Almost Distributive Lattices”. International Journal of Mathematics And Its Applications, vol. 5, no. 4 - F, Dec. 2017, pp. 963-70, https://ijmaa.in/index.php/ijmaa/article/view/1360.