Michael Benedikt Angela Bonifati Sergio Flesca Avinash Vyas Verification of Tree Updates for Optimization. 379-393 2005 conf/cav/2005 CAV http://dx.doi.org/10.1007/11513988_37 db/conf/cav/cav2005.html#BenediktBFV05