Title: A quantifier-free string theory for ALOGTIME reasoning