Design and performance measurements of a parallel machine for the unification algorithm.

Fadi N. Sibai, Karan L. Watson, Mi Lu

Browse the full MICRO paper archive.