URL:  https://wwwde.uni.lu/forschung/fstm/dcs/neuigkeiten_und_ereignisse/world_championship_in_automated_reasoning_computer_scientist_awarded Datum:  Dienstag, den 02. Juni 2020, 20:05