Compatibility and extensions of algebraic theories
scientific article; zbMATH DE number 3523634