Jasine Babu, Karunakaran Murali Krishnan, Vineeth Paleri. A Fix-Point Characterization of Herbrand Equivalence of Expressions in Data Flow Frameworks. In Md. Aquil Khan, Amaldev Manuel, editors, Logic and Its Applications - 8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings. Volume 11600 of Lecture Notes in Computer Science, pages 160-172, Springer, 2019. [doi]
Abstract is missing.