Logic, Language, and Computation : 9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, Kutaisi, Georgia, September 26-30, 2011, Revised Selected Papers - Guram Bezhanishvili, Sebastian Löbner, Vincenzo Marra, Frank Richter ((Lecture Notes in Computer Science))