S
tone_
K
leene_
R
elation_
A
lgebras
Iterings
Kleene_Algebras
Kleene_Relation_Algebras
Kleene_Relation_Subalgebras
Matrix_Kleene_Algebras