Havlíček, M., and S. Pošta. “The Diamond Lemma and the PBW Property in Quantum Algebras”. Acta Polytechnica, vol. 50, no. 5, Jan. 2010, doi:10.14311/1263.