Thi, Vũ Đức. “Some Computational Problems Related to Normal Forms”. <i>Journal of Computer Science and Cybernetics</i> 13, no. 1 (March 30, 2016): 53–65. Accessed April 4, 2026. https://cip.vast.vn/jcc/article/view/7983.