DOI,IST REx ID,Research Group,Title of publication
10.23638/LMCS-13(3:26)2017,464,KrCh,Improved algorithms for parity and Streett objectives