DOI,IST REx ID,Research Group,Title of publication
10.1017/jsl.2016.71,684,KrCh,Obligation blackwell games and p-automata