Theorem proving with ordering and equality constrained clauses

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

ISSN: 0747-7171

Year of publication: 1995

Volume: 19

Issue: 4

Pages: 321-351

Type: Article

DOI: 10.1006/JSCO.1995.1020 GOOGLE SCHOLAR lock_openOpen access editor
Data source: Scopus