On Reducing Linearizability to State Reachability | Publicación