Moore, J. "Computational logic: Structure sharing and proof of program properties, Parts I and II" Department of Computational Logic Memo 67, School of Artificial Intelligence, Univ. of Edinburgh, Edinburgh, U.K., 1974.

Languages mentioned

• Baroque {1972} Logic programming language