Analysis of Logic Programs Using Regular Tree Languages | Publicación