"Symbolic Backwards-Reachability Analysis for Higher-Order Pushdown Systems"

Matthew Hague, C.-H. Luke Ong (2008)
a service of Schloss Dagstuhl - Leibniz Center for Informatics