Marc Snir On the Complexity of Simplifying Quadratic Forms. 217-220 1981 12 Inf. Process. Lett. 5 db/journals/ipl/ipl12.html#Snir81 http://dx.doi.org/10.1016/0020-0190(81)90017-X