Logic, Language, Information, and Computation 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings - Libkin, Leonid; Kohlenbach, Ulrich; Queiroz, Ruy de (Springer Berlin Heidelberg : Imprint: Springer, 2013)