Hongbo Li, Changpeng Shao, Lei Huang, Yue Liu. Reduction among bracket polynomials. In Katsusuke Nabeshima, Kosaku Nagasaka, Franz Winkler, Ágnes Szántó, editors, International Symposium on Symbolic and Algebraic Computation, ISSAC '14, Kobe, Japan, July 23-25, 2014. pages 304-311, ACM, 2014. [doi]