Completeness theorem for the Evans logic of identities. Sheremet, M.S. (2004) Sibirskie Ehlektronnye Matematicheskie Izvestiya [electronic only]