Left and right Gröbner bases in Ore extensions of polynomial rings - Pesch, Michael (1996)