Paramodulation with built-in AC-theories and symbolic constraints
- Nieuwenhuis, R.
- Rubio, A.
ISSN: 0747-7171
Año de publicación: 1997
Volumen: 23
Número: 1
Páginas: 1-21
Tipo: Artículo
ISSN: 0747-7171
Año de publicación: 1997
Volumen: 23
Número: 1
Páginas: 1-21
Tipo: Artículo