An implementation together with testcases is available here:
http://www-verimag.imag.fr/~moy/bzr/bzr/bzr.update-r/
An implementation together with testcases is available here:
http:// www-verimag. imag.fr/ ~moy/bzr/ bzr/bzr. update- r/