ML Anthology

van Vaalen, J.

1 publications

IJCAI 1975 An Extension of Unification to Substitution with an Application to Automatic Theorem Proving J. van Vaalen