Boolean factoring with kernels and rectangle coveringC.Leonard BermanNaotaka Maedaet al.1990ISCAS 1990