@inproceedings{Schulze15Inter-procedural,
  author = {Stefan {Schulze Frielinghaus} and Michael Petter and Helmut Seidl},
  title = {Inter-procedural {T}wo-{V}ariable {H}erbrand {E}qualities},
  booktitle = {Programming Languages and Systems},
  year = 2015,
  pages = {457-482},
  series = {Lecture Notes in Computer Science},
  volume = {9032},
  publisher = {Springer},
  doi = {10.1007/978-3-662-46669-8_19},
}