Redundancy and Subsumption in High-Level Replacement Systems | Publicación