DOI,IST REx ID,Research Group,Title of publication
10.1145/2737166.2737175,1502,"ToHe,KrCh",Complete composition operators for IOCO-testing theory