Joel Berman Emil W. Kiss Péter Pröhle Ágnes Szendrei The set of types of a finitely generated variety. 1-20 1993 112 Discrete Mathematics 1-3 http://dx.doi.org/10.1016/0012-365X(93)90219-J db/journals/dm/dm112.html#BermanKPS93