Anna Gál Michal Koucký Pierre McKenzie Incremental Branching Programs. 178-190 2006 conf/csr/2006 CSR http://dx.doi.org/10.1007/11753728_20 db/conf/csr/csr2006.html#GalKM06