Global rebuilding of OBDD's - tunnelling memory requirement maxima - Bern, Jochen; Meinel, Christoph; Slobodová, Anna (Univ. Trier, Math./Informatik, 1995)