## Paramodulation-Based Theorem Proving (1999)

### Cached

### Download Links

- [www-lsi.upc.es]
- [www.lsi.upc.es]
- [www.mpi-sb.mpg.de]
- [www.lsi.upc.es]
- [www.lsi.upc.es]
- DBLP

### Other Repositories/Bibliography

by
Robert Nieuwenhuis
,
Albert Rubio

Citations: | 117 - 7 self |

### BibTeX

@MISC{Nieuwenhuis99paramodulation-basedtheorem,

author = {Robert Nieuwenhuis and Albert Rubio},

title = {Paramodulation-Based Theorem Proving},

year = {1999}

}

### Years of Citing Articles

### OpenURL

### Abstract