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