@inproceedings{Muller-Olm06Interprocedurally,
  author = {Markus M\"uller-Olm and Michael Petter and Helmut Seidl},
  title = {Interprocedurally {A}nalyzing {P}olynomial {I}dentities},
  booktitle = {23rd Annual Symposium on Theoretical Aspects of Computer Science},
  editor = {Bruno Durand and Wolfgang Thomas},
  month = {February},
  year = 2006,
  pages = {50-67},
  series = {Lecture Notes in Computer Science},
  volume = {3884},
  publisher = {Springer},
  address = {Marseille, France},
}