D. Emelyanov, “Algebras of binary isolating formulas for theories of modular products of graphs”, M, vol. 121, no. 1, pp. 122–131, Mar. 2026.