Title: Parallel unification
Subjects: Parallel programming (Computer science), Computer algorithms