Sapir: Algorithmic problems in varieties (1995)

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