La verificación estructural de sistemas basados en conocimiento. Luis M. Laita (1995) Revista de la Real Academia de Ciencias Exactas Físicas y Naturales