Return to Article Details Criterion for a formula-definable quasivariety Download Download PDF