Efficient analysis and manipulation of OBDDs can be extended to read-once-only branching programs - Gergov, Jordan; Meinel, Christoph (1992)