Fadi N. Sibai L. Watson M. Lu Design and performance measurements of a parallel machine for the unification algorithm. 21-30 1989 conf/micro/1989 MICRO http://doi.acm.org/10.1145/75362.75398 db/conf/micro/micro1989.html#SibaiWL89