A Combinatorial Approach to Involution and delta-Regularity I:   Involutive Bases in Polynomial Algebras of Solvable Type
  General revision. In particular the parts concerning involutive bases over rings have been significantly changed. In addition some proofs have been improved. 
Werner M. Seiler