On the complexity of simplifying quadratic forms - Snir, Marc (University <Edinburgh> / Department of Computer Science: Internal report, 1980)