Evaluation of the Implementation of an Abstract Interpretation Algorithm using Tabled CLP | Publicación