Set-Term Unification in a Logic Database Language.

Seung Jin Lim, Yiu-Kai Ng

Browse the full COCOON paper archive.