2024-07-082024-07-082024-07-08https://infoscience.epfl.ch/handle/20.500.14299/253Laboratoire d'analyse et de raisonnement automatisésLaboratory for Automated Reasoning and AnalysisLABO