The Finite Model Property and Subsystems of Classical Propositional Calculus

[1]  R. Harrop.  On the existence of finite models and decision procedures for propositional calculi , 1958, Mathematical Proceedings of the Cambridge Philosophical Society.