McKenzie, Lynn Mhairi (1995) Logic synthesis and optimisation using Reed-Muller expansions. PhD thesis, Edinburgh Napier University.