Dirk Fuchs Coupling Saturation-Based Provers by Exchanging Positive/Negative Information. 317-331 http://dx.doi.org/10.1007/BFb0052379 1998 conf/rta/1998 RTA db/conf/rta/rta98.html#Fuchs98