1. Cellucci, C., Teoria delle dimostrazione. Normalizzazioni e assegnazioni di numeri ordinali, Bollati Boringhieri, Torino, 1978.
2. Cozzo, C., Meaning and argument. A theory of meaning centred on immediate argumental role, Almqvist & Wiksell, Uppsala, 1994.
3. d’Aragona, A. P., A partial calculus for Dag Prawitz’s theory of grounds and a decidability issue, in A. Christian, D. Hommen, N. Retzlaff, and G. Schurz, (eds), Philosophy of Science, vol. 9 of European Studies in Philosophy of Science, Springer, Berlin Heidelberg, New York, 2018, pp. 223–244.
4. d’Aragona, A. P., Dag Prawitz on proofs, operations and grounding, Topoi 38(3):531–550, 2019.
5. d’Aragona, A. P., Dag Prawitz’s theory of grounds, Ph.D. thesis, Aix-Marseille University, “Sapienza” University of Rome, 2019, https://hal.archives-ouvertes.fr/tel-02482320/document.