@proceedings {6164,
	title = {A fix-point characterization of Herbrand equivalence of expressions in data flow frameworks},
	journal = {ICLA 2019},
	year = {2019},
	pages = {160-172},
	publisher = {Springer},
	address = {Berlin},
	author = {Jasine Babu and Karunakaran Murali Krishnan and Paleri, Vineeth}
}
