1. Anellis, I. H. (1990). From semantic tableaux to Smullyan trees: A history of the development of the falsifiability tree method. Modern Logic, 1(1), 35–69.
2. Beth, E. W. (1955). Semantic entailment and formal derivability. Mededelingen der Kon. Ned. Akad. v. Wet., 18, 13.
3. Beth, E. W. (1956). Sematic construction of intuitionistic logic. Mededelingen der Kon. Ned. Akad. v. Wet., 19(11).
4. Beth, E. W. (1959). The Foundations of Mathematics. Amsterdam: North-Holland. (Revised Edition 1964).
5. Binkley, R. W. & Clark, R. L. (1967). A cancellation algorithm for elementary logic. Theoria, 33(2), 79–97.