Exploitation of Parallelism in Prototypical Deduction Problems.

Ralph Butler, Nicholas T. Karonis

Browse the full CADE paper archive.