(1)
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.