Logic, Language, and Computation 9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, Kutaisi, Georgia, September 26-30, 2011, Revised Selected Papers - Bezhanishvili, Guram; Löbner, Sebastian; Marra, Vincenzo; Richter, Frank (Springer Berlin Heidelberg : Imprint: Springer, 2013)