Exploitation of parallelism in prototypical deduction problems (1988)

by R Butler, N Karonis
Venue:In Ninth International Conference on Automated Deduction