Logic, language, and computation : 6th international Tbilisi symposium on logic, language, and computation,TbiLLC 2005, Batumi, Georgia, September 12-16, 2005: revised selected papers / ed. B. D. Cate, 2007 r=on-line