1. Adler, J.: Model theoretic investigations of the class of pseudocomplemented semilattices. PhD thesis, University of Bern (1998)
2. Adler, J.: The model companion of the class of pseudocomplemented semilattices is finitely axiomatizable (2012, preprint)
3. Albert M.H., Burris S.N.: Finite axiomatizations for existentially closed posets and semilattices. Order 3, 169–178 (1986)
4. Chaida, I., Halaš, R., Kühr, J.: Semilattice structures. Research and Exp. in Math. Vol. 30, Heldermann, Lemgo (2007)
5. Frink O.: Pseudo-Complements in Semi-Lattices. Duke Math. J. 29, 504–515 (1962)