Elizalde Domínguez, C. Diseño Edilicio Básico, Resultados Del 1er Ciclo De Pruebas Formales. IA 2023, 11, 34-50.