Logic, Language, Information, and Computation - de Paiva; de Oliveira, Anjolina G.; de Queiroz, Ruy; Leivant, Daniel; Moss, Lawrence S. (Springer Berlin Heidelberg, 2015)