Islam, Safiqul. “Deductive System on CL-Algebra”. Theory and Practice of Mathematics and Computer Science Vol. 9 (May 4, 2021): 154–160. Accessed June 4, 2026. https://stm.bookpi.org/TPMCS-V9/article/view/861.