Gaston H. Gonnet. New results for random determination of equivalence of expressions. In Bruce W. Char, editor, SYMSAC 1986, Proceedings of the Symposium on Symbolic and Algebraic Manipulation, Waterloo, Ontario, Canada, July 21-23, 1986. pages 127-131, ACM, 1986. [doi]
Abstract is missing.