Paraman, Norlina, Chia Yee Ooi, Ahmad Zuri Sha’ameri, and Hideo Fujiwara. 2010. “A New Class of Easily Testable Assignment Decision Diagrams”. Malaysian Journal of Computer Science 23 (1):1-17. https://jpmm.um.edu.my/index.php/MJCS/article/view/6380.