Thi, V. Đức. (2016). Some computational problems related to normal forms. Journal of Computer Science and Cybernetics, 13(1), 53–65. https://doi.org/10.15625/1813-9663/13/1/7983