M. V. Ratnamani. Comparing SHADL and Quasi Heyting ADL: A Study in Algebraic Structures and Logic. RATMCS-V3 2023, 182-188.