Algorithmic Problems In Varieties (1994)

by Olga G. Kharlampovich, Mark V. Sapir