Design and Analysis of Parallel Set-Term Unification.

Seung-Jin Ling, Yiu-Kai Ng

Browse the full COCOON paper archive.