Parallel Algorithms For Free And Associative-Commutative Unification