PLATO: a CAD tool for logic synthesis based on decomposition. - Tadeusz Luba; Jerzy Kalinowski; Krzysztof Jasinski (EURO-DAC, 1991)