Paramodulation with non-monotonic orderings and simplification

  1. Bofill, M.
  2. Rubio, A.
Revista:
Journal of Automated Reasoning

ISSN: 0168-7433,  1573-0670

Ano de publicación: 2013

Volume: 50

Número: 1

Páxinas: 51-98

Tipo: Artigo

DOI: 10.1007/S10817-011-9244-Z GOOGLE SCHOLAR
Fonte de datos: Scopus