Computational logic: The unification computation (1971)

by J A Robinson
Venue:In Machine Intelligence