Two axiom systems for relation algebras
scientific article; zbMATH DE number 3611362