Seu: Logic for problem solving, c1979: t.p. (Robert Kowalski, Imperial Coll. de Sci & Tech., Univ. de Londres)

Logic programmimg, c1988: v. 1, CIP t.p. (Robert A. Kowalski) galley (Imperial College, London)

Computational logic and human thinking, 2011: eCIP t.p. (Robert A. Kowalski, Imperial College, London) data view (b. May 15, 1941)