Volver atrás Publicación
Escobar Román Santiago, Lucas Alba Salvador
2004
Towards (constructor) normal forms for Maude within Full Maude