"Progressive Decomposition: A Heuristic to Structure Arithmetic Circuits."

Ajay K. Verma, Philip Brisk, Paolo Ienne (2007)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics