Computer Science Logic - Duparc, Jacques; Henzinger, Thomas A.; Kanade, Takeo; European Association for Computer Science Logic; Kittler, Josef (Springer Berlin Heidelberg, 2007)