Havlíček, M.; Pošta, S. The Diamond Lemma and the PBW Property in Quantum Algebras. Acta Polytech 2010, 50.