1. [1] Crabbé, M., “Non-normalisation de ZF/Counterexample to normalisation for ZF,” Proof Theory Symposium, Kiel 1974, http://www.logic-center.be/Publications/Bibliotheque/contreexemple.pdf.
2. [15] Schroeder-Heister, P., Proof-Theoretic Semantics, Stanford Encyclopedia of Philosophy, edited by E.N. Zalta, plato.stanford.edu, Stanford, 2012.
3. [2] Došen, K., “Logical consequence: A turn in style,” pp. 289–311 in Logic and Scientific Methods: Volume One of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995, edited by M. L. Dalla Chiara, K. Doets, D. Mundici, and J. van Benthem, Kluwer, Dordrecht, 1997.
4. [3] Došen, K., Cut Elimination in Categories, Springer, Berlin, 2000.
5. [4] Došen, K., “Identity of proofs based on normalization and generality,” Bulletin of Symbolic Logic, vol. 9 (2003), pp. 477–503.