1. S. E. Conry et al., DARES: A Distributed Automated Reasoning System. Proc. AAAI-90, pp. 78–85, 1990.
2. J. Denzinger. Knowledge-based distributed search using teamwork. ICMAS-95, AAAI-Press, pp. 81–88, 1995.
3. D. Fuchs. Coupling Saturation-Based Provers by Exchanging Positive/Negative Information. Proc. RTA-98, LNCS 1379, Springer, pp. 317–331, 1998.
4. M. Fuchs. Similarity-Based Lemma Generation for Model Elimination. Proc. FTP-97 Workshop, RISC-Linz Report Series No. 97-50, pp. 63–67, 1997.
5. M. Moser et al.. SETHEO and E-SETHEO. The CADE-13 Systems. JAR, 18(2), pp. 237–246, 1997.