It is well-known that for the integral group ring of a polycyclic group several decision problems are decidable. In this paper a technique to solve the membership problem for right ideals originating from Baumslag, Cannonito and Miller and studied by Sims is outlined. We want to analyze, how these decision methods are related to Grr obner bases. Therefore, we deene eeective reduction for group ...