Cheng, J, Chen, X, Faraj, Khalid, Almaini, A E A, "Expansion of logical function in the OR-coincidence system and the transform between it and maxterm expansion.", , 2003