@article{Seidl00Interprocedural,
  author = {Helmut Seidl and Christian Fecht},
  title = {Interprocedural {A}nalyses: {A} {C}omparison},
  journal = {J. Log. Program.},
  year = 2000,
  pages = {123-156},
  volume = {43},
  number = {2},
}