The separation theorem of weakly dicomplemented posets. - Rezk, E. G.; Atallah, M. M. (Journal of Algebra & Applied Mathematics, 2026)