Just use definition "ScalarProduct[p,p]=m^2;" before Simplify[...] operation, where you can wait desired substitution p^2->m^2.
This archive was generated by hypermail 2b29 : 05/13/08-09:18:03 AM Z CEST