Efficient On-Line Proofs of Equalities and Inequalities of Formulas.

Hanan Samet Efficient On-Line Proofs of Equalities and Inequalities of Formulas. 28-32 1980 29 IEEE Trans. Computers 1 db/journals/tc/tc29.html#Samet80