Leon Sterling Alan Bundy Lawrence Byrd Richard A. O'Keefe Bernard Silver Solving Symbolic Equations with PRESS. 71-84 1989 7 J. Symb. Comput. 1 db/journals/jsc/jsc7.html#SterlingBBOS89