Semicomplemented Lattices and the Finite Model Property. - I. L. Humberstone; A. J. Lock (Math. Log. Q., 1986)