Theorem-Proving for Computers: Some Results on Resolution and Renaming. - Bernard Meltzer (Comput. J., 1966)

The Semantics of Induction and the Possibility of Complete Systems of Inductive Inference. - Bernard Meltzer (Artif. Intell., 1970)

Department of A.I. - Univ. of Edinburgh. - Bernard Meltzer (SIGART Newsl., 1975)

Brains and Programs. - Bernard Meltzer (International Computing Symposium, 1977)

Knowledge and Experience in Artificial Intelligence. - Bernard Meltzer (AI Mag., 1985)

Analogical Representations of Naive Physics. - Francesco Gardin; Bernard Meltzer (Artif. Intell., 1989)