@article{Seidl00ConstraintB,
  author = {Helmut Seidl and Bernhard Steffen},
  title = {Constraint-{B}ased {I}nter-{P}rocedural {A}nalysis of {P}arallel {P}rograms},
  journal = {Nord. J. Comput.},
  year = 2000,
  pages = {375-},
  volume = {7},
  number = {4},
}