Efficient manipulation of FBDDs by means of a modified OBDD package - Slobodová, Anna; Meinel, Christoph (Univ., Fachbereich IV, Mathematik, Informatik, 1993)