@article{Flexeder11Fast,
  author = {Andrea Flexeder and Markus M\"uller-Olm and Michael Petter and Helmut Seidl},
  title = {Fast {I}nterprocedural {L}inear {T}wo-{V}ariable {E}qualities},
  journal = {ACM Trans. Program. Lang. Syst.},
  year = 2011,
  volume = {33},
  number = {6},
  doi = {10.1145/2049706.2049710},
}