_id,doi,title
5378,10.15479/AT:IST-2012-0001,Faster algorithms for alternating refinement relations