Havlíček, M.; Pošta, S. The Diamond Lemma and the PBW Property in Quantum Algebras. Acta Polytech 2010, 50 (5). https://doi.org/10.14311/1263.