Moore, J S. "Computational logic: Structure sharing and proof of program properties" Ph D. Department of Computational Logic, School of Artif Intel., U. of Edinburgh, Edinburgh, 1973.

Languages mentioned

• Baroque {1972} Logic programming language