Theorem proving with ordering and equality constrained clauses

  1. Nieuwenhuis, R.
  2. Rubio, A.
Revista:
Journal of Symbolic Computation

ISSN: 0747-7171

Año de publicación: 1995

Volumen: 19

Número: 4

Páginas: 321-351

Tipo: Artículo

DOI: 10.1006/JSCO.1995.1020 GOOGLE SCHOLAR lock_openAcceso abierto editor
Fuente de los datos: Scopus