Reachability Problems : 4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings - Antonín Ku.era, Igor Potapov ((Lecture Notes in Computer Science))