Universal Unification and Regular Equational ACFM Theories.

Jrg H. Siekmann, Peter Szab

Browse the full IJCAI paper archive.