Logic, Language, and Computation - Aher (Springer Berlin Heidelberg, 2015)