icalp 2013 paper: add "to appear" mention