Parallel Unification: Theory and Implementations.

Fadi N. Sibai Parallel Unification: Theory and Implementations. 51-81 1990 conf/dagstuhl/1990pis Dagstuhl Seminar on Parallelization in Inference Systems db/conf/dagstuhl/pis1990.html#Sibai90