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