A semantic framework for the abstract model checking of tccp programs | Publicación