DOI,IST REx ID,Title of publication
10.4230/LIPIcs.FSTTCS.2008.1745,3504,Algorithms for game metrics