Thi, V. Đức. “Some Computational Problems Related to Normal Forms”. Journal of Computer Science and Cybernetics, vol. 13, no. 1, Mar. 2016, p. 53-65, doi:10.15625/1813-9663/13/1/7983.