Language, Logic, and Computation 12th International Tbilisi Symposium, TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017, Revised Selected Papers - Silva, Alexandra; Silva, Alexandra; Staton, Sam; Staton, Sam; Sutton, Peter; Sutton, Peter; Umbach, Carla; Umbach, Carla (Springer Berlin Heidelberg : Imprint: Springer, 2019)