Anuj DawarBooksComputer Science LogicLogic Language Information And Computation 17th International Workshop Wollic 2010 Brasilia Brazil July 69 2010 ProceedingsAuthor data: Open Library