Name: Dimitry Fedorov Date: 05/31/07-09:24:40 PM Z
Just use definition “ScalarProduct[p,p]=m^2;” before Simplify[…] operation, where you can wait desired substitution p^2->m^2.