A Process Algebra over the Herbrand Universe: Application to Parallelism in Automated Deduction.

Mounira Belmesk Zineb Habbas Philippe Jorrand A Process Algebra over the Herbrand Universe: Application to Parallelism in Automated Deduction. 163-181 1990 conf/dagstuhl/1990pis Dagstuhl Seminar on Parallelization in Inference Systems db/conf/dagstuhl/pis1990.html#BelmeskHJ90