About the Authors

Rafael Prieto Curiel

Roles Conceptualization, Data curation, Formal analysis, Writing – original draft

rafael.prieto.13@ucl.ac.uk

Affiliation Department of Mathematics, University College London, Gower Street, WC1E 6BT, London, United Kingdom

Luca Pappalardo

Roles Conceptualization, Data curation, Writing – original draft, Writing – review & editing

Affiliations Istituto di Scienza e Tecnologie dell’Informazione (ISTI), Consiglio Nazionale Delle Ricerche (CNR) - Area della Ricerca di Pisa, Via G. Moruzzi, 1, 56127, Pisa, Italy, Department of Computer Science, University of Pisa, Largo Bruno Pontecorvo 3, 56127, Pisa, Italy

Lorenzo Gabrielli

Roles Data curation, Writing – original draft, Writing – review & editing

Affiliation Istituto di Scienza e Tecnologie dell’Informazione (ISTI), Consiglio Nazionale Delle Ricerche (CNR) - Area della Ricerca di Pisa, Via G. Moruzzi, 1, 56127, Pisa, Italy

Steven Richard Bishop

Roles Formal analysis, Writing – original draft, Writing – review & editing

Affiliation Department of Mathematics, University College London, Gower Street, WC1E 6BT, London, United Kingdom

Competing Interests

The authors have declared that no competing interests exist.