KOZEN1994366:
  type: article
  title: A Completeness Theorem for Kleene Algebras and the Algebra of Regular Events
  author: Kozen, D.
  date: 1994
  page-range: 366-390
  url: https://www.sciencedirect.com/science/article/pii/S0890540184710376
  serial-number:
    doi: https://doi.org/10.1006/inco.1994.1037
    issn: 0890-5401
  abstract: We give a finitary axiomatization of the algebra of regular events involving only equations and equational implications. Unlike Salomaa′s axiomatizations, the axiomatization given here is sound for all interpretations over Kleene algebras.
  parent:
    type: periodical
    title: Information and Computation
    issue: 2
    volume: 110