Logic, Language, and Computation : 8th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2009, Bakuriani, Georgia, September 21-25, 2009. Revised Selected Papers - Nick Bezhanishvili, Sebastian Löbner, Kerstin Schwabe, Luca Spada ((Lecture Notes in Computer Science))