https://intlibrary.ir/download/reachability-problems:-3rd-international-workshop,-50427/