M. V. RATNAMANI. Comparing SHADL and Quasi Heyting ADL: A Study in Algebraic Structures and Logic. Research and Applications Towards Mathematics and Computer Science Vol. 3, [S. l.], p. 182–188, 2023. DOI: 10.9734/bpi/ratmcs/v3/6097B. Disponível em: https://stm.bookpi.org/RATMCS-V3/article/view/11572. Acesso em: 10 jun. 2026.