Gröbner-Shirshov bases for free multi-operated algebras over algebras. - Zuan Liu; Zihao Qi; Yufei Qin; Guodong Zhou 004 (J. Symb. Comput., 2026)