Paramodulation with well-founded orderings
- Bofill, M.
- Rubio, A.
ISSN: 0955-792X, 1465-363X
Año de publicación: 2009
Volumen: 19
Número: 2
Páginas: 263-302
Tipo: Artículo
Revista:
Journal of Logic and Computation