Susan E. Conry D. J. MacIntosh R. A. Meyer DARES: A Distributed Automated REasoning System. 78-85 1990 AAAI db/conf/aaai/aaai90.html#ConryMM90