Robinson, J.A. "Computational logic: The unification computation" pp63-72

(1971) "Machine Intelligence 6", Meltzer, Bernard and Michie, Donald (eds) Edinburgh University Press, 1971  

Languages mentioned Robinson Unification Logic {1969}