Global rebuilding of OBDD's tunnelling memory requirement maxima - Bern, Jochen (Trierer Forschungsberichte, 1995)