Computer Science Logic - Grädel, Erich; Kahle, Reinhard; Kanade, Takeo (Springer Berlin Heidelberg, 2009)