@inproceedings{Muller08Upper,
  author = {Markus M\"uller-Olm and Helmut Seidl},
  title = {Upper {A}djoints for {F}ast {I}nter-procedural {V}ariable {E}qualities},
  booktitle = {Programming Languages and Systems},
  editor = {Sophia Drossopoulou},
  month = {April},
  year = 2008,
  pages = {178-192},
  series = {Lecture Notes in Computer Science},
  volume = {4960},
  publisher = {Springer},
  address = {Budapest, Hungary},
}