Reachability over word rewriting systems. - Jan-Henrik Altenabend (2009)