Safiqul Islam, “Deductive System on CL-Algebra”, TPMCS-V9, pp. 154–160, May 2021.