Babu, J, Krishnan KM, Paleri V.  2019.  A fix-point characterization of Herbrand equivalence of expressions in data flow frameworks. ICLA 2019. :160-172., Berlin: Springer