Carsten Damm Markus Holzer Inductive Counting for Width-Restricted Branching Programs. 91-99 1996 130 Inf. Comput. 1 db/journals/iandc/iandc130.html#DammH96