Computer Science Logic - Kaminski, Michael; Kanade, Takeo; Martini, Simone; European Association for Computer Science Logic; Kittler, Josef (Springer Berlin Heidelberg, 2008)