ME Adams, W Dziobiak - Proceedings of the American Mathematical …, 1994 - ams.org
A quasivariety of algebras of finite type is $ Q $-universal if its lattice of subquasivarieties
has, as a homomorphic image of a sublattice, the lattice of subquasivarieties of any …