Volver atrás Publicación
Escobar Román Santiago
2013
Unification and Anti-unification modulo Equational Theories