Fuzzy Unification and Generalization of First-Order Terms over Similar Signatures.

Hassan At-Kaci, Gabriella Pasi

Browse the full LOPSTR paper archive.