Springer Math, 30 Nov 2018 The methods are illustrated by applying them to quasivarieties of abelian groups, modular lattices, unary algebras and pure…