FSTTCS paper accepted