An Extension of Unification to Substitution with an Application to Automatic Theorem Proving.

J. van Vaalen

Browse the full IJCAI paper archive.