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

(1971)

Machine Intelligence  
  • Elcock et al (1971) Elcock, E. W.; Foster, J. M.; Gray, P. M. D.; McGregor, J. J. and A. M. Murray "Abset a Programming Language Based on Sets: Motivation and Examples"
  • Hayes, P. J. (1971) Hayes, P. J. "A Logic of Actions"
  • Robinson, J.A. (1971) Robinson, J.A. "Computational logic: The unification computation" pp63-72