Design and Analysis of Parallel Set-Term Unification. - Seung-Jin Ling; Yiu-Kai Ng (COCOON, 1997)