Towards an Abstract Domain for Resource Analysis of Logic Programs Using Sized Types | Publicación