Theorem proving with ordering and equality constrained clauses
- Nieuwenhuis, R.
- Rubio, A.
ISSN: 0747-7171
Año de publicación: 1995
Volumen: 19
Número: 4
Páginas: 321-351
Tipo: Artículo
ISSN: 0747-7171
Año de publicación: 1995
Volumen: 19
Número: 4
Páginas: 321-351
Tipo: Artículo