Volver atrás Publicación
Escobar Román Santiago
2004
Natural Rewriting for General Term Rewriting Systems