A Symbolic Model Checker for tccp Programs | Publicación