Emelyanov, D.Y. Algebras of Binary Isolating Formulas for Theories of Modular Products of Graphs. M 2026, 121, 122-131.