A new method for the computation of two-sided Gröbner bases of ideals and bimodules shifting the problem to the enveloping algebra is proposed. This alternative method appears to be more efficient than the one in [Kandri-Rody, A., Weispfenning, V., 1990. Non-commutative Gröbner bases in algebras of solvable type. J. Symbolic Comput. 9, 1–26] since it calls the left Buchberger algorithm once. We...