@inproceedings{Muller-Olm05Interprocedural, author = {Markus M\"uller-Olm and Helmut Seidl and Bernhard Steffen}, title = {Interprocedural {H}erbrand {E}qualities}, booktitle = {Programming Languages and Systems}, editor = {Shmuel Sagiv}, month = {April}, year = 2005, pages = {31-45}, series = {Lecture Notes in Computer Science}, volume = {3444}, publisher = {Springer}, address = {Edinburgh, UK}, }