Program optimization for temporal reasoning within a logic programming frameworkAnke RiegerÉpuisé4,3Prévenez-moi
