1. Boris Kunyavskii, Eugene Plotkin, and Roman Shklyar, A strategy for human-computer study of equations and identities in finite groups, Proc. Latv. Acad. Sci. Sect. B Nat. Exact Appl. Sci. 57 (2003), no. 3-4, 97–101.[MR]