Parallel unification - Barklund, Jonas (Uppsala theses in computing science, 1990)