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

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

Languages mentioned Baroque {1972} Logic programming language