@article(andrekaEquationalTheoryKleene2011,
 author       = {Hajnal Andréka and Szabolcs Mikulás and István Németi},
 year         = {2011},
 title        = {The equational theory of Kleene lattices},
 journal      = {Theoretical Computer Science},
 volume       = {412},
 number       = {52},
 pages        = {7099--7108},
 doi          = {10.1016/J.TCS.2011.09.024},
)
@article(bloomNotesEquationalTheories1995,
 author       = {S. L. Bloom and Z. Ésik and Gh. Stefanescu},
 year         = {1995},
 title        = {Notes on equational theories of relations},
 journal      = {algebra universalis},
 volume       = {33},
 number       = {1},
 pages        = {98--126},
 doi          = {10.1007/BF01190768},
)
@book(Conway1971,
 author       = {John H. Conway},
 year         = {1971},
 title        = {Regular Algebra and Finite Machines},
 publisher    = {Chapman and Hall},
)
@inproceedings(cookComplexityTheoremprovingProcedures1971,
 author       = {Stephen A. Cook},
 year         = {1971},
 title        = {The complexity of theorem-proving procedures},
 booktitle    = {STOC},
 publisher    = {ACM},
 pages        = {151–158},
 doi          = {10.1145/800157.805047},
)
@article(Hunt1976,
 author       = {Hunt III, Harry B. and Daniel J. Rosenkrantz and Thomas G. Szymanski},
 year         = {1976},
 title        = {On the equivalence, containment, and covering problems for the regular and context-free languages},
 journal      = {Journal of Computer and System Sciences},
 volume       = {12},
 number       = {2},
 pages        = {222--268},
 doi          = {10.1016/S0022-0000(76)80038-4},
)
@techreport(kleeneRepresentationEventsNerve1951,
 author       = {S. C. Kleene},
 year         = {1951},
 title        = {Representation of Events in Nerve Nets and Finite Automata},
 type         = {Technical Report},
 institution  = {RAND Corporation},
 url          = {https://www.rand.org/pubs/research_memoranda/RM704.html},
)
@inproceedings(kozenKleeneAlgebraTests1996,
 author       = {Dexter Kozen and Frederick Smith},
 year         = {1996},
 title        = {{Kleene} algebra with tests: Completeness and decidability},
 booktitle    = {CSL},
 series       = {LNCS},
 volume       = {1258},
 publisher    = {Springer},
 pages        = {244--259},
 doi          = {10.1007/3-540-63172-0_43},
)
@inproceedings(meyerEquivalenceProblemRegular1972,
 author       = {A. R. Meyer and L. J. Stockmeyer},
 year         = {1972},
 title        = {The equivalence problem for regular expressions with squaring requires exponential space},
 booktitle    = {SWAT},
 publisher    = {IEEE},
 pages        = {125--129},
 doi          = {10.1109/SWAT.1972.29},
)
@inproceedings(nakamuraExistentialCalculiRelations2023,
 author       = {Yoshiki Nakamura},
 year         = {2023},
 title        = {Existential Calculi of Relations with Transitive Closure: Complexity and Edge Saturations},
 booktitle    = {LICS},
 publisher    = {IEEE},
 pages        = {1--13},
 doi          = {10.1109/LICS56636.2023.10175811},
)
@phdthesis(ngRelationAlgebrasTransitive1984,
 author       = {Kan Ching Ng},
 year         = {1984},
 title        = {Relation algebras with transitive closure},
 school       = {University of California},
)
@inproceedings(pousCompletenessTheoremsKleene2022,
 author       = {Damien Pous and Jana Wagemaker},
 year         = {2022},
 title        = {Completeness Theorems for Kleene Algebra with Top},
 booktitle    = {CONCUR},
 volume       = {243},
 publisher    = {Schloss Dagstuhl},
 pages        = {26:1--26:18},
 doi          = {10.4230/LIPICS.CONCUR.2022.26},
)
@inproceedings(Meyer1973,
 author       = {Larry J. Stockmeyer and Albert R. Meyer},
 year         = {1973},
 title        = {Word problems requiring exponential time (Preliminary Report)},
 booktitle    = {STOC},
 publisher    = {ACM},
 pages        = {1--9},
 doi          = {10.1145/800125.804029},
)
@article(Tarski1941,
 author       = {Alfred Tarski},
 year         = {1941},
 title        = {On the Calculus of Relations},
 journal      = {The Journal of Symbolic Logic},
 volume       = {6},
 number       = {3},
 pages        = {73--89},
 doi          = {10.2307/2268577},
)
@article(thompsonProgrammingTechniquesRegular1968,
 author       = {Ken Thompson},
 year         = {1968},
 title        = {Programming Techniques: Regular expression search algorithm},
 journal      = {Communications of the ACM},
 volume       = {11},
 number       = {6},
 pages        = {419--422},
 doi          = {10.1145/363347.363387},
)