DARES: A Distributed Automated REasoning System.

Susan E. Conry, Douglas J. MacIntosh, Robert A. Meyer

Browse the full AAAI paper archive.