An Overlapping Unification Algorithm and its Hardware Implementation.

Wen-Tsuen Chen, Kuen-Rong Hsieh

Browse the full ICPP paper archive.