Anna Gál Michal Koucký Pierre McKenzie Incremental Branching Programs. 159-184 2008 43 Theory Comput. Syst. 2 http://dx.doi.org/10.1007/s00224-007-9049-y db/journals/mst/mst43.html#GalKM08