MICHALSKI, Tomasz; KOKOSIŃSKI, Zbigniew. Functional decomposition of combinational logic circuits with PKmin. 2016.