Andrew Gleibman Intelligent Processing of an Unrestricted Text in First Order String Calculus. 99-127 2009 5 Transactions on Computational Science http://dx.doi.org/10.1007/978-3-642-02097-1_6 journals/tcos/2009-5 db/journals/tcos/tcos5.html#Gleibman09