Left omega algebras and regular equations
automated and interactive theorem proving
scientific article; zbMATH DE number 6126071
scientific article