1. Bernays, P. [1965] Betrachtung zum Sequenzen-Kalkul, in A.-T. Tymieniecka ed., Contributions to Logic and Methodology in Honor of J.M. Bocheński, North-Holland, Amsterdam, pp. 1–44.
2. Boričić, B. [1985] On sequence-conclusion natural deduction, Journal of Philosophical Logic vol. 14, pp. 359–377.
3. Carnap, R. [1943] Formalization of Logic, Harvard University Press, Cambridge, Mass.
4. Carroll, L. [1895] What the tortoise said to Achilles, Mind (N.S.) vol. 4, pp. 278–280.
5. Ćelluci, C. [1992] Existential instantiation and normalization in sequent natural deduction, Annals of Pure and Applied Logic vol. 58, pp. 111–148.