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