The logic of algebraic rules as a generalization of equational logic
scientific article; zbMATH DE number 3922626