Efficient analysis and manipulation of OBDDs can be extended to read-once-only branching programs (0)

by J Gergov, C Meinel