An paper accepted at ICALP2014