A Theoretical Study of (Full) Tabled Constraint Logic Programming | Publicación