2024-10-152024-10-15https://ucy.dataly.gr/handle/123456789/2017A Computational Logic model for the description analysis and verification of glo