DOI,IST REx ID,Research Group,Title of publication
10.1145/2380356.2380371,2890,ToHe,Synthesis from incompatible specifications