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