@inproceedings{FrielinghausESOP15,
  author = {Stefan {Schulze Frielinghaus} and Michael Petter and Helmut Seidl},
  title = {Inter-procedural {T}wo-{V}ariable {H}erbrand {E}qualities},
  booktitle = {Proceedings of the 24th European Symposium on Programming, ESOP},
  editor = {Jan Vitek},
  year = 2015,
  pages = {457--482},
  series = {Lecture Notes in Computer Science},
  volume = {9032},
  publisher = {Springer},
  doi = {10.1007/978-3-662-46669-8_19},
}