Efficient manipulation of FBDDs by means of a modified OBDD package - Slobodová, Anna (Univ. Trier, Mathematik, Informatik, 1993)