Logic, Language, Information and Computation : 14th International Workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007, Proceedings - Daniel Leivant, Ruy Queiroz ((Lecture Notes in Computer Science))