Theorem proving with ordering and equality constrained clauses
- Nieuwenhuis, R.
- Rubio, A.
ISSN: 0747-7171
Année de publication: 1995
Volumen: 19
Número: 4
Pages: 321-351
Type: Article
ISSN: 0747-7171
Année de publication: 1995
Volumen: 19
Número: 4
Pages: 321-351
Type: Article