M. A. Ansari, A. N. Koam, and A. Haider, “Rough set theory applied to UP-algebras”, IJPAM, vol. 42, pp. 388–402, Jul. 2019.