Regular_Algebras

Dioid_Power_Sum

Regular_Algebras

Regular_Algebra_Models

Pratts_Counterexamples

Regular_Algebra_Variants