@inproceedings{Seidl07Interprocedurally,
  author = {Helmut Seidl and Andrea Flexeder and Michael Petter},
  title = {Interprocedurally {A}nalysing {L}inear {I}nequality {R}elations},
  booktitle = {Programming Languages and Systems},
  editor = {Rocco De Nicola},
  month = {April},
  year = 2007,
  pages = {284-299},
  series = {Lecture Notes in Computer Science},
  volume = {4421},
  publisher = {Springer},
  doi = {10.1007/11672142_3},
  address = {Braga, Portugal},
}