_id,doi,title
497,10.4230/LIPIcs.CSL.2012.167,Faster algorithms for alternating refinement relations