1. Alcolei, A., Clairambault, P., Hyland, M., Winskel, G.: The true concurrency of Herbrand’s theorem (2017, submitted)
2. Aler Tubella, A.: A study of normalisation through subatomic logic. University of Bath (2016)
3. Aler Tubella, A., Guglielmi, A.: Subatomic proof systems: splittable systems. arXiv preprint arXiv:1703.10258 (2017)
4. Aler Tubella, A., Guglielmi, A., Ralph, B.: Removing cycles from proofs. In: Goranko, V., Dam, M. (eds.) 26th EACSL Annual Conference on Computer Science Logic (CSL 2017), Stockholm, Sweden 2017. Leibniz International Proceedings in Informatics (LIPIcs), pp. 9:1–9:17. Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik (2017)
5. Brünnler, K.: Deep inference and symmetry in classical proofs. Logos Verlag (2003)