Buchberger-Weispfenning theory for effective associative rings