FootNote

This algorithm strictly corresponds to a strongly typed genetic programming algorithm, [13], as the language of the models and the evolutionary operators respect the explicit typing.