@inproceedings{Flexeder06Interprocedurally,
  author = {Andrea Flexeder and Michael Petter and Helmut Seidl},
  title = {Interprocedurally {A}nalysing {L}inear {I}nequalities},
  booktitle = {18th Nordic Workshop on Programming Theory},
  year = 2006,
  address = {Reykjavik, Iceland},
}