Paramodulation with well-founded orderings
- Bofill, M.
- Rubio, A.
ISSN: 0955-792X, 1465-363X
Année de publication: 2009
Volumen: 19
Número: 2
Pages: 263-302
Type: Article
Revue:
Journal of Logic and Computation