@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}, }