Paramodulation and Knuth-Bendix completion with nontotal and nonmonotonic orderings

  1. Bofill, M.
  2. Godoy, G.
  3. Nieuwenhuis, R.
  4. Rubio, A.
Aldizkaria:
Journal of Automated Reasoning

ISSN: 0168-7433

Argitalpen urtea: 2003

Alea: 30

Zenbakia: 1

Orrialdeak: 99-120

Mota: Artikulua

DOI: 10.1023/A:1022515030222 GOOGLE SCHOLAR
Datuen iturria: Scopus