Free Kleene algebras with domain - McLean, Brett (Journal of logical and algebraic methods in programming, 2020)
Keywords: Decidable; Domain; Equational theory; Kleene algebra; Kleene algebra; Domain; Equational theory; Decidable