Algorithmic problems in varieties (1995)

by O G Kharlampovich, M V Sapir
Venue:Int. J. Algebra Comput