Optimal Time Bounds for Parallel Term Matching.

Rakesh M. Verma, I. V. Ramakrishnan

Browse the full CADE paper archive.