Abstract Model Checking of tccp programs | Publicación