On the complexity of simplifying quadratic forms - Snir, Marc (1980)