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