Volver atrás Publicación
Nishida Naoki, Vidal Oriola Germán Francisco
2012
More Specific Term Rewriting Systems