Title: Acceleration of a heuristic PLA product term reduction program through complementation of the PLA specification