"Predecessor Sets of Dynamic Pushdown Networks with Tree-Regular Constraints."

Peter Lammich, Markus Müller-Olm, Alexander Wenner (2009)
a service of Schloss Dagstuhl - Leibniz Center for Informatics