Paraman, N.; Yee Ooi, C.; Sha’ameri, A. Z.; Fujiwara, H. A New Class of Easily Testable Assignment Decision Diagrams. MJCS 2010, 23, 1-17.