Seung-Jin Ling, Yiu-Kai Ng. Design and Analysis of Parallel Set-Term Unification. In Tao Jiang, D. T. Lee, editors, Computing and Combinatorics, Third Annual International Conference, COCOON 97, Shanghai, China, August 20-22, 1997, Proceedings. Volume 1276 of Lecture Notes in Computer Science, pages 321-330, Springer, 1997.
Abstract is missing.