Anne Kaldewaij Victor J. Dielissen Decomposable Functions and Leaf Trees: A Systematic Approach. 3-17 1994 conf/procomet/1994 PROCOMET db/conf/procomet/procomet1994.html#KaldewaijD94