A parallel unification coprocessor.

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

Browse the full ICTAI paper archive.