Safiqul ISLAM. Deductive System on CL-Algebra. Theory and Practice of Mathematics and Computer Science Vol. 9, [S. l.], p. 154–160, 2021. DOI: 10.9734/bpi/tpmcs/v9/8488D. Disponível em: https://stm.bookpi.org/TPMCS-V9/article/view/861. Acesso em: 3 jun. 2026.