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.