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.