Computation of free non-commutative gröbner bases over Z with Singular: Letterplace

Viktor Levandovskyy, Tobias Metzlaff, Karim Abou Zeid