Special Purpose, but Domain Independent, Inference Mechanisms. - Alan Bundy; Lawrence Byrd; Chris Mellish (ECAI, 1982)

Solving Symbolic Equations with PRESS. - Leon Sterling; Alan Bundy; Lawrence Byrd; Richard A. O'Keefe; Bernard Silver (J. Symb. Comput., 1989)