Ansari, M. A.; Koam, A. N.; Haider, A. Rough Set Theory Applied to UP-Algebras. IJPAM 2019, 42, 388-402.