Logic, Language, Information, and Computation 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings - Moss, Lawrence S.; Moss, Lawrence S.; de Queiroz, Ruy; de Queiroz, Ruy; Martinez, Maricarmen; Martinez, Maricarmen (Springer Berlin Heidelberg : Imprint: Springer, 2018)