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