Abstract Interpretation over Non-deterministic Finite Tree Automata for Set-Based Analysis of Logic Programs | Publicación