This paper provides tools and techniques to establish completeness of Kleene algebra with various sets of hypotheses, by reducing the problem to completeness of standard Kleene algebra.
