A unifying theoretical background for some BDD based data structures - Meinel, Christoph; Slobodová, Anna (Univ. Trier, Math./Informatik, 1994)