Theorem proving with ordering and equality constrained clauses
- Nieuwenhuis, R.
- Rubio, A.
ISSN: 0747-7171
Ano de publicación: 1995
Volume: 19
Número: 4
Páxinas: 321-351
Tipo: Artigo
ISSN: 0747-7171
Ano de publicación: 1995
Volume: 19
Número: 4
Páxinas: 321-351
Tipo: Artigo