Exclusive-OR Representations of Boolean Functions. - Harold Fleisher; Morton Tavel; John Yeager (IBM J. Res. Dev., 1983)

A Computer Algorithm for Minimizing Reed-Muller Canonical Forms. - Harold Fleisher; Morton Tavel; John Yeager (IEEE Trans. Computers, 1987)

Minimizability of Random Boolean Functions. - Harold Fleisher; John Giraldi; R. Phoenix; Morton Tavel (IEEE Trans. Computers, 1989)