Language, Logic, and Computation 13th International Tbilisi Symposium, TbiLLC 2019, Batumi, Georgia, September 16-20, 2019, Revised Selected Papers - Özgün, Aybüke. (Springer International Publishing,)