Theorem proving with ordering and equality constrained clauses
- Nieuwenhuis, R.
- Rubio, A.
ISSN: 0747-7171
Any de publicació: 1995
Volum: 19
Número: 4
Pàgines: 321-351
Tipus: Article
ISSN: 0747-7171
Any de publicació: 1995
Volum: 19
Número: 4
Pàgines: 321-351
Tipus: Article