Redundancy notions for paramodulation with non-monotonic orderings
- Bofill, M.
- Rubio, A.
ISSN: 0302-9743
Año de publicación: 2004
Volumen: 3097
Páginas: 107-121
Tipo: Aportación congreso
ISSN: 0302-9743
Año de publicación: 2004
Volumen: 3097
Páginas: 107-121
Tipo: Aportación congreso