Paraman, N., Yee Ooi, C., Sha’ameri, A. Z., & Fujiwara, H. (2010). A New Class of Easily Testable Assignment Decision Diagrams. Malaysian Journal of Computer Science, 23(1), 1–17. Retrieved from https://jrmg.um.edu.my/index.php/MJCS/article/view/6380