On substitution of operations in systems of equations over algebras Ivan Chajda (1973) Archivum Mathematicum Similarity: