Using Hundreds of Workstations to Solve First-Order Logic Problems.

Alberto Maria Segre, David B. Sturgill

Browse the full AAAI paper archive.