Pushdown Automata, Graphs, Ends, Second-Order Logic, and Reachability Problems

David E. Muller, Paul E. Schupp

Browse the full STOC paper archive.