Exploitation of Parallelism in Prototypical Deduction Problems.

Ralph Butler Nicholas T. Karonis Exploitation of Parallelism in Prototypical Deduction Problems. 333-343 1988 conf/cade/1988 CADE db/conf/cade/cade88.html#ButlerK88 https://doi.org/10.1007/BFb0012841