Well-foundedness is sufficient for completeness of ordered paramodulation
- Bofill, M.
- Rubio, A.
ISSN: 1611-3349, 0302-9743
ISBN: 9783540439318
Any de publicació: 2002
Volum: 2392
Pàgines: 456-470
Tipus: Aportació congrés
ISSN: 1611-3349, 0302-9743
ISBN: 9783540439318
Any de publicació: 2002
Volum: 2392
Pàgines: 456-470
Tipus: Aportació congrés