An Efficient Algorithm for Solving the Dyck-CFL Reachability Problem on Trees.

Hao Yuan, Patrick Th. Eugster

Browse the full ESOP paper archive.