M. V. Ratnamani 2023. Comparing SHADL and Quasi Heyting ADL: A Study in Algebraic Structures and Logic. Research and Applications Towards Mathematics and Computer Science Vol. 3. (Aug. 2023), 182–188. DOI:https://doi.org/10.9734/bpi/ratmcs/v3/6097B.