Filtered-graded transfer of noncommutative Gr\"obner bases

As the case of free $\mathbb{k}$-algebras and $PBW$ algebras, given a bijective skew $PBW$ extension $A$, we will show that it is possible transfer Gr"obner bases between $A$ and its associated graded ring.