URL:  https://wwwde.uni.lu/universitaet/aktuelles/topthema/world_championship_in_automated_reasoning_computer_scientist_awarded Datum:  Sonntag, den 19. Januar 2020, 19:54