Resource Usage Analysis of Logic Programs via Abstract Interpretation Using Sized Types | Publicación