Synthesis Of LISP Functions From Examples. - Steve Hardy (IJCAI, 1975)

Integrating Prolog Into the Poplog Environment. - Chris Mellish; Steve Hardy (IJCAI, 1983)

Should Prolog be List or Record Oriented. - John A. Campbell; Steve Hardy (Implementations of Prolog, 1984)

Integrating Prolog in the POPLOG Environment. - Chris Mellish; Steve Hardy (Implementations of Prolog, 1984)