LOGIC DOCENS AND UTENS. VIRTUALIA 2025, No. 25, 46-61. https://doi.org/10.5281/v.j..vi25.7764.