@ARTICLE {29951,
author={J. Ramos and J. Rasga and C. Sernadas},
doi={10.1007/s11787-020-00251-4},
journal={Logica Universalis},
title={Essential Structure of Proofs as a Measure of Complexity},
year={2020},
month={June},
volume={14},
number={2},
pages={209-242},
ISSN={1661-8300}
}