R
egular_
A
lgebras
Dioid_Power_Sum
Regular_Algebras
Regular_Algebra_Models
Pratts_Counterexamples
Regular_Algebra_Variants