Proving Implications by Algebraic Approximation. - Michael Codish; Grigory Mashevitzky (Theor. Comput. Sci., 1996)

Unification Types of Completely Regular Semigroups. - Grigory Mashevitzky (J. Autom. Reason., 2002)

A New Method in the Finite Basis Problem with Applications to Rank 2 Transformation Semigroups. - Grigory Mashevitzky (Int. J. Algebra Comput., 2007)

On Automorphisms of the Endomorphism Semigroup of a Free Universal Algebra. - Grigory Mashevitzky; Boris I. Plotkin (Int. J. Algebra Comput., 2007)

Action of endomorphism semigroups on definable sets. - Grigory Mashevitzky; Boris I. Plotkin; Eugene Plotkin (Int. J. Algebra Comput., 2018)