A Man-Machine Theorem-Proving System. - W. W. Bledsoe; Peter Bruell (Artif. Intell., 1974)

A Prover for General Inequalities. - W. W. Bledsoe; Peter Bruell; Robert E. Shostak (IJCAI, 1979)