1. Q-universal quasivarieties of algebras;Adams;Proc. Amer. Math. Soc.,1994
2. Quantifiers on distributive lattices;Cignoli;Discrete Math.,1991
3. On the lattice of quasivarieties of distributive lattices with pseudocomplementation;Grätzer;Acta Sci. Math.,1980
4. Algebraic logic, I. Monadic Boolean algebras;Halmos;Compositio Math.,1955