Horčík, R. Word Problem for Knotted Residuated Lattices. Journal of Pure and Applied Algebra. 2015, 219(5), 1548-1563. ISSN 0022-4049. E-ISSN 1873-1376. Available: https://doi.org/10.1016/j.jpaa.2014.06.015