Pointer Programs and Undirected Reachability.

Martin Hofmann, Ulrich Schpp

Browse the full LICS paper archive.