"Machine Intelligence 7", Meltzer, Bernard and Michie, Donald (eds) Edinburgh University Press, 1972

Machine Intelligence  

Bayer, R.S., and Moore, JS. (1972) Bayer, R.S., and Moore, JS. "The sharing of structure in theorem proving programs" pp101-116