Oh, P, Almaini, A E A, "Decision diagrams using 2 variable nodes.", , 2007