Symbolic Backwards-Reachability Analysis for Higher-Order Pushdown Systems (Logical Methods in Computer Science, 2008)