Thi, Vũ Đức. “Some Computational Problems Related to Normal Forms”. Journal of Computer Science and Cybernetics 13, no. 1 (March 30, 2016): 53–65. Accessed April 19, 2024. https://vjs.ac.vn/index.php/jcc/article/view/7983.