You are about to access our book library "Logic, Language, Information and Computation: 14th International Workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007, Proceedings (Lecture Notes in Computer Science, 4576) full version" .