Leonid Libkin, Ulrich Kohlenbach, Ruy J. G. B. de Queiroz: 20th workshop on logic, language, information and computation - WoLLIC 2013. J. Comput. Syst. Sci. 88: 1-2 (2017)