Alain Darte Frédéric Vivien Revisiting the Decomposition of Karp, Miller and Winograd. 13-25 1995 conf/asap/1995 ASAP http://doi.ieeecomputersociety.org/10.1109/ASAP.1995.522901 db/conf/asap/asap1995.html#DarteV95