DARES: A Distributed Automated REasoning System. - Susan E. Conry; Douglas J. MacIntosh; Robert A. Meyer (AAAI, 1990)

Distributed automated reasoning: issues in coordination, cooperation, and performance. - Douglas J. MacIntosh; Susan E. Conry; Robert A. Meyer (IEEE Trans. Syst. Man Cybern., 1991)