Safiqul Islam. Deductive System on CL-Algebra. TPMCS-V9 2021, 154-160.