Thi, V. Đức. Some Computational Problems Related to Normal Forms. JCC 2016, 13, 53-65.