Silva, Alexandra, Sam Statton, Peter Sutton & Carla Umbach (eds.).
2019.
Language, Logic, and Computation. 12th International Tbilisi Symposium, TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017, Revised Selected Papers.
Lecture Notes in Computer Science (LNCS) 11456.
Berlin:
Springer.