Semi-Equational Theories. - Artem Chernikov; Alex Mennen (J. Symb. Log., 2025)