## A Study of Proof Search Algorithms for Resolution and Polynomial Calculus (1999)

### Cached

### Download Links

- [www-lsi.upc.es]
- [www-lsi.upc.es]
- [www.lsi.upc.es]
- DBLP

### Other Repositories/Bibliography

by
Maria Luisa Bonet
,
Nicola Galesi

Citations: | 46 - 5 self |