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

Hao Yuan, Patrick Th. Eugster (2009)
a service of Schloss Dagstuhl - Leibniz Center for Informatics