Efficient Parallel Term Matching