URL:  https://wwwen.uni.lu/fstc/news/world_championship_in_automated_reasoning_computer_scientist_awarded Date:  Monday, 18 November 2019, 08:08