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