Depth Boundedness in Multiset Rewriting Systems with Name Binding | Publicación