Theorem-Proving on the Computer. - John Alan Robinson (J. ACM, 1963)

A Machine-Oriented Logic Based on the Resolution Principle. - John Alan Robinson (J. ACM, 1965)

Meeting of the Association for Symbolic Logic. - John Alan Robinson; Norman M. Martin (J. Symb. Log., 1967)

New directions in mechanical theorem proving. - John Alan Robinson (IFIP Congress (1), 1968)

Logic Programming - Past, Present and Future. - John Alan Robinson (New Gener. Comput., 1983)

Editor's Introduction. - John Alan Robinson (J. Log. Program., 1984)

Is Logic Programming Enough? - John Alan Robinson (DS-2, 1986)

The Future of Logic Programming (Invited Paper). - John Alan Robinson (IFIP Congress, 1986)

Merging Functional with Relational Programming in a Reduction Setting (Abstract of an Invited Lecture) - John Alan Robinson (LICS, 1986)

Formal and Informal Proofs. - John Alan Robinson (Automated Reasoning: Essays in Honor of Woody Bledsoe, 1991)

The Role of Logic in Computer Science and Artificial Intelligence. - John Alan Robinson (FGCS, 1992)

Logic, Computers, Turing, and von Neumann. - John Alan Robinson (Machine Intelligence 13, 1992)

Logic and Logic Programming. - John Alan Robinson (Commun. ACM, 1992)

Introduction: 10th Birthday Special Issue of The Journal of Logic Programming. - John Alan Robinson (J. Log. Program., 1994)

Vesper. - John Alan Robinson; Jonas Barklund (Machine Intelligence 15, 1995)

Novel Techniques for Visualizing Biological Information. - John Alan Robinson; Tomas P. Flores (ISMB, 1997)

Unification and resolution in retrospect. - John Alan Robinson (JFPLC, 1997)

Informal Rigor and Mathematical Understanding. - John Alan Robinson (Kurt Gödel Colloquium, 1997)

Proof = Guarantee + Explanation. - John Alan Robinson (Intellectics and Computational Logic, 2000)

Computational Logic: Memories of the Past and Challenges for the Future. - John Alan Robinson (Computational Logic, 2000)

Preface. - John Alan Robinson; Andrei Voronkov (Handbook of Automated Reasoning, 2001)

Invited editorial. - John Alan Robinson (Theory Pract. Log. Program., 2001)