Homotopies in Multiway (Nondeterministic) Rewriting Systems as n-Fold Categories | Publicación