Complete Sets of Reductions Modulo Associativity, Commutativity and Identity. - Timothy B. Baird; Gerald E. Peterson; Ralph W. Wilkerson (RTA, 1989)

STP: A Simple Theorem Prover for IBM-PC Compatible Computers. - Blayne E. Mayfield; Timothy B. Baird (SIGSMALL/PC Symposium, 1990)

Termination via conditional reductions. - Timothy B. Baird; Ralph W. Wilkerson (ACM Conference on Computer Science, 1991)