URL:  https://wwwfr.uni.lu/recherche/fstm/dcs/actualites_et_evenements/world_championship_in_automated_reasoning_computer_scientist_awarded Date:  mercredi 03 juin 2020 15:37:03