Volver atrás Publicación
Lucas Alba Salvador
2001
On proving termination of OBJ programs with positive local strategies