Completeness of Kleene Algebra with Hypotheses: Tools and Applications

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.