Li, et al.. A Quantum CAD Accelerator Based on Grover's Algorithm for Finding the Minimum Fixed Polarity Reed-muller Form. IEEE, 2006, doi:10.1109/ismvl.2006.8.