Studying the cost of logic languages in an abstract interpretation framework for granularity analysis | Publicación