On the optimisation of Reed-Muller expressions | IEEE Conference Publication | IEEE Xplore