1. A. Avron, The method of hypersequents in the proof theory of propositional non-classical logics, in Logic: Foundations to Applications, eds. by W. Hodges, M. Hyland, C. Steinhorn, J. Truss (Oxford Scientific, Oxford, 1996), pp. 1–32
2. P. Bernays, Review of H.B. Curry. The system LD. J. Symb. Log. 17(1), 35–42 (1952); On the definition of negation by a fixed proposition in the inferential calculus. J. Symb. Log. 17, 98–104 (1952); J. Symb. Log. 18, 266–268 (1953)
3. H.B. Curry, The system LD. J. Symb. Log. 17(1), 35–42 (1952)
4. H.B. Curry, Foundations of Mathematical Logic (McGraw-Hill, New York/San Francisco/Toronto/London, 1963). Reprinted by Dover, 1977 and 1984
5. S. Kanger, A note on partial postulate sets for propositional logic. Theoria (Sweden) 21, 99–104 (1955)