Reachability Problems - Delzanno, Giorgio; Kanade, Takeo; Potapov, Igor; Kittler, Josef (Springer Berlin Heidelberg, 2011)