McKenzie, Lynn Mhairi, "Logic synthesis and optimisation using Reed-Muller expansions", ,