Logic, Language, Information, and Computation : 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013, Proceedings - Leonid Libkin, Ulrich Kohlenbach, Ruy Queiroz ((Lecture Notes in Computer Science))