Wang, Lun Yao, Almaini, A E A, "Optimisation of Reed-Muller PLA implementations.", , 2002