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, Aug. 2023, pp. 182-8, doi:10.9734/bpi/ratmcs/v3/6097B.