@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}, }