Efficient manipulation with FBDDs by means of a modified OBDD-package - Slobodová, Anna; Meinel, Christoph (Mathematik, Informatik: Forschungsbericht Universität <Trier>, 1993)