Logic synthesis and optimisation using Reed-Muller expansions. - Lynn Mhairi McKenzie (1995)