1. A. Avron. The semantics and proof theory of linear logic. Theoretical Computer Science, 57: 161–184, 1988.
2. E. W. Beth. Semantic entailment and formal derivability. Mededelingen der Koninklijke Nederlandse Akademie van Wetenschappen, 18: 309–342, 1955.
3. E. W. Beth. On machines which prove theorems. Simon Stevin Wissen Natur-kundig Tijdschrift, 32:49–60, 1958. Reprinted in [Siekmann and Wrightson, 1983 ], vol. 1, pages 79–90.
4. W. Bibel. Automated Theorem Proving. Vieweg, Braunschweig, 1982.
5. R. Blanché. La logique et son histoire. Armand Colin, Paris, 1970.