This shareable PDF can be hosted on any platform or network and is fully compliant with publisher copyright.
Coupling saturation-based provers by exchanging positive/negative information
- Dirk Fuchs
- January 1998, Springer Science + Business Media
- DOI: 10.1007/bfb0052379
