Symbolic Execution of Concurrent Objects in CLP | Publicación