ECS 220 8b:8.3-2 NL-WitnessExistence and Reachability are NL-complete

From David Doty