Amos Beimel Anna Gál On Arithmetic Branching Programs. 68-80 1998 IEEE Conference on Computational Complexity http://dlib.computer.org/conferen/coco/8395/pdf/83950068.pdf db/conf/coco/coco1998.html#BeimelG98