Interprocedurally analyzing polynomial identities (2006)

by M Müller-Olm, M Petter, H Seidl
Venue:In STACS, volume 3884 of LNCS