N. Paraman, C. Yee Ooi, A. Z. Sha’ameri, and H. Fujiwara, “A New Class of Easily Testable Assignment Decision Diagrams”, MJCS, vol. 23, no. 1, pp. 1–17, Jun. 2010.