DOI,IST REx ID,Research Group,Title of publication
10.4204/EPTCS.146.11,475,KrCh,First cycle games