On the effect of local changes in the variable ordering of ordered decision diagrams. - Bollig, Beate (Information processing letters.)