Reachability Problems - Schmitz (Springer International Publishing, 2020)