New article on IBM CAS success stories page

An article about Michal Antkiewicz, Thiago Tonelli Bartolomei and Krzysztof Czarnecki, who received the ACM SIGSOFT Distinguished Paper Award, appeared on the IBM Centers for Advanced Studies success stories page.