Abstract Diagnosis for tccp using a Linear Temporal Logic | Publicación