You are about to access our book library "Logic, Language, Information, and Computation: 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013, Proceedings (Theoretical Computer Science and General Issues) full version" .