1
Logic, Language, Information and Computation [E-Book] : 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009. Proceedings /