V. Đức Thi, “Some computational problems related to normal forms”, JCC, vol. 13, no. 1, p. 53–65, Mar. 2016.