Logical Aspects of Computational Linguistics - Nicholas Asher, Sergei Soloviev (Springer Berlin Heidelberg, 2014)