1. Banaschewski B., Nelson E.: On residual finiteness and finite embeddability. Algebra Univers. 2, 361–364 (1972)
2. Bezhanishvili G., Bezhanishvili N.: An algebraic approach to canonical formulas: intuitionistic case. Rev. Symb. Log. 2(3), 517–549 (2009)
3. Blok, W.J., Jonsson, B.: Algebraic Structures for Logic. A Course Given at the 23rd Holiday Mathematics Symposium, New Mexico State University (1999)
4. Blok, W.J., Pigozzi, D.: Algebraizable logics. Mem. Am. Math. Soc. 77, 396 (1989) vi + 78
5. Blok, W.J., van Alten, C.J.: On the finite embeddability property for residuated lattices, pocrims and BCK-algebras. Rep. Math. Logic. 34, 159–165 (2000). Algebra and Substructural Logics (Tatsunokuchi, 1999) (2000)