@Article{Koz94,
    Author       = "Kozen, D.",
    Year         = "1994",
    Title        = "{A Completeness Theorem for Kleene Algebras and the
                    Algebra of Regular Events}",
    Journal      = "Information and Computation",
    Volume       = "110",
    Number       = "2",
    Pages        = "366-390",
    Comment      = "TPTPRef"
}