Coupling saturation-based provers by exchanging positive/negative information

  • Dirk Fuchs
  • January 1998, Springer Science + Business Media
  • DOI: 10.1007/bfb0052379

The authors haven't yet claimed this publication.

Read Publication

http://dx.doi.org/10.1007/bfb0052379