Volver atrás Publicación
Nishida Naoki, Vidal Oriola Germán Francisco
2012
Computing More Specific Versions of Conditional Rewriting Systems